rollback_test.sa 355 B

12345678910111213141516
  1. semantic adaptation reactive moore RollbackTest rollbackTest_sa
  2. at "./path/to/RollbackTest.fmu"
  3. for inner fmu rollbackEnd rollbackend
  4. at "./test_input/single_folder_spec/rollback_test/rollback-end.fmu"
  5. with input ports level
  6. input ports level -> rollbackend.level
  7. control rules {
  8. save_state(rollbackend);
  9. rollback(rollbackend);
  10. return 1;
  11. }