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