Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / with_properties / heater.xml @ 02d89bbb

History | View | Annotate | Download (345 Bytes)

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")