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.
Updated by Mikhail Lebedev almost 5 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
LOG_LEVEL parameter to the SmvModelCheckerLauncher class. Usage:
numis the desired level of the model checker's output verbosity (usually from 0 to 4).