Revision 65f71d05 test/src/kind_fmcad08/simulation/metros_4_e3_1091_e3_522.lus
test/src/kind_fmcad08/simulation/metros_4_e3_1091_e3_522.lus | ||
---|---|---|
38 | 38 |
(diff1,avance1,retard1) = controleur(nB1,nS); |
39 | 39 |
ast = H0 and H1; |
40 | 40 |
tel |
41 |
--@ ensures OK; |
|
41 | 42 |
node top(B0,B1 : bool; S : bool) |
42 | 43 |
returns (OK:bool); |
43 | 44 |
var nB0,nB1 : int; |
Also available in: Unified diff