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

set on_failure_script_quits
set synth_asynchronous_composition_semantics 0
go
synth_FD -o ../diag/GB2_observables.obs -a GB2.asl
synth_dump_fdir -o GB2_synthesized_model.smv -c
quit