Skip to content

Printing the number of states after test suite generation

Niklas Krafczyk requested to merge feature-StateSpaceSizePrinting into master

The number of states is determined on the minimised machine, which might have a different number of states than specified in the model.

Merge request reports