+log.info=gov.nasa.jpf.sc
+jpf.report.console.property_violation=error
+jpf.listener=.tools.ChoiceTracker
+choice.class=.jvm.choice.sc.SCEventGenerator

+choice.exclude=completion

+sc.script=examples/jpfESAS/script/CEV_15EOR_LOR-tli.es
gov.nasa.jpf.sc.StateMachine
visualize.CEV_15EOR_LOR
