+log.info=gov.nasa.jpf.sc
+jpf.report.console.property_violation=error
+jpf.listener=.tools.sc.Coverage
+sc.required=earthOrbit

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