-
Maxime Perrotin authored
in case a procedure is called but not defined. The parser should detect it before. It triggers when using stop conditions because they are declared exported and the properties.py script from the model checker repo does not add the corresponding signal..
cd82fc65