consolidate the tests locations

2025-12-26 01:48:24 +02:00
parent 17613acf57
commit 39359da171
2031 changed files with 2607 additions and 476 deletions
--- a/bench/reachability-benchmark/cases/c/guarded-system/outputs/traces/traces.json
+++ b/bench/reachability-benchmark/cases/c/guarded-system/outputs/traces/traces.json
@@ -1,6 +0,0 @@
-{
-  "events": [
-    {"path": "src/main.c::main", "type": "entry"},
-    {"path": "src/main.c::run_guarded", "type": "call"}
-  ]
-}