Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/simulation/tramway_e7_1834_e7_2363.lus

View differences:

test/src/kind_fmcad08/simulation/tramway_e7_1834_e7_2363.lus
76 76
                 edge(not in_station),
77 77
                 jafter(door_is_open));
78 78
tel
79
--@ ensures OK;
79 80
node top(request_door, warning_start, in_station, door_is_open: bool)
80 81
returns (OK: bool);
81 82
var

Also available in: Unified diff