Project

General

Profile

« Previous | Next » 

Revision 5600dad4

Added by Hamza Bourbouh about 5 years ago

update automata/with_prop folder

View differences:

regression_tests/modules/strategies.cmake
193 193
    WORKING_DIRECTORY ${ZUSTRE_OUTPUT_DIR}
194 194
    )
195 195
  SET_TESTS_PROPERTIES (  ${GEN_TESTS_PREFIX}_COMPIL_ZUSTRE_${L}_${GEN_NODE}_${ZUS_OPTS_CUT}_${GEN_CALL_ID}
196
    PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed"
196
    PROPERTIES FAIL_REGULAR_EXPRESSION "AssertionError;ERROR;Failed;Traceback"
197 197
    DEPENDS ${GEN_TESTS_PREFIX}_COMPIL_LUSTRE_HORN_${L}__${LUS_OPTS_CUT}_${GEN_CALL_ID})
198 198
  
199 199
  

Also available in: Unified diff