These benchmarks were already moved upstream

mCRL2org · Mar 15, 2024 · 29a6dfd · 29a6dfd
1 parent 2b94aa6
commit 29a6dfd
Show file tree

Hide file tree

Showing 42 changed files with 1 addition and 8,784 deletions.
diff --git a/benchmarks/CMakeLists.txt b/benchmarks/CMakeLists.txt
@@ -168,18 +168,3 @@ if (MCRL2_ENABLE_DEVELOPER)
     endif()
   endforeach()
 endif()
-
-if (MCRL2_ENABLE_DEVELOPER)
-  # Find all the benchmark files
-  file(GLOB BENCHMARK_FILES ${CMAKE_CURRENT_SOURCE_DIR}/REC/*.dataspec)
-
-  foreach(benchmark ${BENCHMARK_FILES})
-    get_filename_component(benchmark ${benchmark} NAME)
-    string(REPLACE ".dataspec" "" NAME ${benchmark})
-
-     add_tool_benchmark("${NAME}_jitty" mcrl2rewrite 
-      "${CMAKE_CURRENT_SOURCE_DIR}/REC/${NAME}.dataspec" 
-      "${CMAKE_CURRENT_SOURCE_DIR}/REC/${NAME}.expressions" 
-      "-rjitty")
-  endforeach()
-endif()
diff --git a/benchmarks/REC/benchtree10.dataspec b/benchmarks/REC/benchtree10.dataspec
diff --git a/benchmarks/REC/benchtree10.expressions b/benchmarks/REC/benchtree10.expressions