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

set on_failure_script_quits
set synth_asynchronous_composition_semantics 0
go
synth_FD -o ../diag/BB2_observables.obs -a BB2.asl
synth_dump_fdir -o BB2_synthesized_model.smv -c
quit