test prop

cmake/TestsRelaxSE.cmake

@@ -80,13 +80,13 @@ if(ENABLE_DEV)
     RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/test/prop_CuO_20204)
 
   add_test(
-    NAME prop_prop_CuO_02240
+    NAME prop_CuO_02240
     COMMAND python3 ${CMAKE_SOURCE_DIR}/test/prop_CuO_02240/test_prop --binary-dir=${CMAKE_BINARY_DIR} --work-dir=${CMAKE_BINARY_DIR}/test/prop_CuO_02240 --verbose --log=${CMAKE_BINARY_DIR}/test/prop_CuO_02240/runtest.stderr.logprop)
   set_tests_properties(prop_CuO_02240 PROPERTIES
     RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/test/prop_CuO_02240)
 
   add_test(
-    NAME prop_prop_CuO_03450
+    NAME prop_CuO_03450
     COMMAND python3 ${CMAKE_SOURCE_DIR}/test/prop_CuO_03450/test_prop --binary-dir=${CMAKE_BINARY_DIR} --work-dir=${CMAKE_BINARY_DIR}/test/prop_CuO_03450 --verbose --log=${CMAKE_BINARY_DIR}/test/prop_CuO_03450/runtest.stderr.logprop)
   set_tests_properties(prop_CuO_03450 PROPERTIES
     RUNTIME_OUTPUT_DIRECTORY ${CMAKE_BINARY_DIR}/test/prop_CuO_03450)