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

set on_failure_script_quits
set synth_asynchronous_composition_semantics 0
go
synth_FD -o ../diag/BB3_observables.obs -a BB3.asl
synth_dump_fdir -o BB3_synthesized_model.smv -c
quit