Removed manually added test case (#576)

moves-rwth · Jul 4, 2024 · b54b1a7 · b54b1a7
1 parent 2efdcbf
commit b54b1a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/storm-pars/CMakeLists.txt b/src/test/storm-pars/CMakeLists.txt
@@ -12,7 +12,7 @@ include_directories(${GTEST_INCLUDE_DIR})
 foreach (testsuite analysis modelchecker utility derivative transformer)
 
 	  file(GLOB_RECURSE TEST_${testsuite}_FILES ${STORM_TESTS_BASE_PATH}/${testsuite}/*.h ${STORM_TESTS_BASE_PATH}/${testsuite}/*.cpp ${STORM_TESTS_BASE_PATH}/../storm_gtest.cpp)
-      add_executable (test-pars-${testsuite} ${TEST_${testsuite}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp analysis/MonotonicityCheckerTest.cpp)
+      add_executable (test-pars-${testsuite} ${TEST_${testsuite}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
 	  target_link_libraries(test-pars-${testsuite} storm-pars storm-parsers)
 	  target_link_libraries(test-pars-${testsuite} ${STORM_TEST_LINK_LIBRARIES})
 	  target_precompile_headers(test-pars-${testsuite} REUSE_FROM test-builder)