when debug option is enabled, pass it to the model checker as well
Published in build:
When the Retrascope is running at the debug mode ("--loglevel debug", AFAIR), the model checking tool (NuSMV) should also be launched with debug output enabled.
- % Done changed from 0 to 100
- Status changed from New to Resolved
LOG_LEVEL parameter to the SmvModelCheckerLauncher class. Usage:
is the desired level of the model checker's output verbosity (usually from 0 to 4).
- Status changed from Resolved to Verified
- Published in build set to 1.1.1-beta-190722
- Status changed from Verified to Closed
Also available in: Atom