lustrec-tests/regression_tests/lustre_files/success/automata/with_properties/heater.xml @ 02d89bbb
| 1 | 02d89bbb | bourbouh | (error "line 100 column 19: unknown constant command_control__Open_handler_until.delay_on") |
|---|---|---|---|
| 2 | (error "line 182 column 19: unknown constant command_control__Silent_handler_until.delay_off") |
||
| 3 | (error "line 480 column 155: unknown constant heat_control__Start_unless.high") |
||
| 4 | (error "line 519 column 151: unknown constant heat_control__Stop_unless.low") |