Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done
'sldvdemo_flipflop' is compatible for test generation with Simulink Design Verifier.
Generating tests using model representation from 14-Dec-2018 16:33:34...
............
Completed normally.
Generating output files:
Results generation completed.
Data file:
H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat
status =
1
Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done
Generating tests using model representation from 14-Dec-2018 16:36:43...
............
Completed normally.
Generating output files:
Results generation completed.
Data file:
H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat
status =
1