Actions
Task #5711
closedCheck generated *.smv files with external model checker
Start date:
03/17/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
0.2.1
Description
The SMV Printer component should be tested in more detailed way than it does today (just generation of *.smv files, nothing else).
In fact, *.smv files that are generated in jUnit tests should be checked by external model checking tool (NuSMV?).
For tool location the system variable like MODEL_CHECKER_PATH can be used.
Actions