Revision 65f71d05 test/src/kind_fmcad08/simulation/speed_e8_649.lus
test/src/kind_fmcad08/simulation/speed_e8_649.lus | ||
---|---|---|
19 | 19 |
late = false -> if pre late then (diff < 0) |
20 | 20 |
else (diff <= -10); |
21 | 21 |
tel |
22 |
--@ ensures OK; |
|
22 | 23 |
node top(beacon,second:bool) returns (OK:bool); |
23 | 24 |
var late,early: bool; |
24 | 25 |
let |
Also available in: Unified diff