- semantic adaptation reactive moore rollbackTest_sa
- at "./path/to/RollbackTest.fmu"
- for inner fmu rollbackEnd rollbackend
- at "./rollback-end.fmu"
- with input ports level
- input ports level -> rollbackend.level
-
- control rules {
- save_state(rollbackend);
- rollback(rollbackend);
-
- return 1;
- }
|