FindPython is 3.12+ -_-

Author: hannes-steffenhagen-diffblue

regression/validate-trace-xml-schema/CMakeLists.txt

@@ -1,11 +1,11 @@
 # The Schema tests require a JDK because we use the
 # Java standard libraries builtin schema validation functionality
 find_package(Java COMPONENTS Development)
-find_package(Python3 COMPONENTS Interpreter)
-if(${Python3_FOUND} AND ${Python3_VERSION} VERSION_GREATER 3.5
+find_package(PythonInterp 3.5)
+if(${PYTHONINTERP_FOUND}
   AND ${Java_FOUND} AND ${Java_VERSION_MAJOR} VERSION_GREATER 8)
     add_test(NAME validate-trace-xml-schema
-            COMMAND python3 check.py $<TARGET_FILE:cbmc>
+            COMMAND ${PYTHON_EXECUTABLE} check.py $<TARGET_FILE:cbmc>
             WORKING_DIRECTORY ${CMAKE_CURRENT_LIST_DIR})
     set_tests_properties(validate-trace-xml-schema
             PROPERTIES