plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/examples/FDI/synth/synthesize_G3.source

set on_failure_script_quits
set synth_asynchronous_composition_semantics 0
go
synth_FD -o ../diag/G3_observables.obs -a G3.asl
synth_dump_fdir -o G3_synthesized_model.smv -c
quit