Revision 65f71d05 test/src/kind_fmcad08/large/cruise_controller_12.lus
test/src/kind_fmcad08/large/cruise_controller_12.lus | ||
---|---|---|
1 | 1 |
|
2 | 2 |
|
3 |
--@ ensures OK; |
|
3 | 4 |
node top(onOff: bool; |
4 | 5 |
decelSet: bool; |
5 | 6 |
accelResume: bool; |
Also available in: Unified diff