lustrec-tests/regression_tests/lustre_files/success/automata/with_properties/heater.xml @ 02d89bbb
1 |
(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") |