rollback_test.sa 298 B

12345678910111213141516
  1. semantic adaptation reactive moore rollbackTest_sa
  2. at "./path/to/RollbackTest.fmu"
  3. for inner fmu rollbackEnd rollbackend
  4. at "./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. }