Project

General

Profile

« Previous | Next » 

Revision 3e36d4e0

Added by Pierre-Loïc Garoche almost 8 years ago

Added default ensures statements

View differences:

test/src/kind_fmcad08/simulation/tramway_e7_1834.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