We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8ad0367 commit 3673144Copy full SHA for 3673144
regression/validate-trace-xml-schema/CMakeLists.txt
@@ -16,6 +16,7 @@ else()
16
set_tests_properties(validate-trace-xml-schema
17
PROPERTIES
18
LABELS "CBMC;CORE")
19
+ message(WARNING "Dependencies for trace schema missing - tests will fail")
20
if(NOT ${PYTHONINTERP_FOUND})
21
message(WARNING "Python >= 3.5 not found, trace schema tests will fail")
22
endif()
0 commit comments