• Maxime Perrotin's avatar
    Emit a warning instead of an exception in Ada backend · cd82fc65
    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..