Update benchmarking dataset submodules

formalsec · Oct 7, 2024 · aa40382 · aa40382
1 parent 36c4d23
commit aa40382
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
-[submodule "bench/data"]
-	path = bench/data
-	url = https://github.com/formalsec/smtml_bench.git
+[submodule "bench/collections-c"]
+	path = bench/collections-c
+	url = https://github.com/formalsec/smt-collections-c.git
+[submodule "bench/smt-comp"]
+	path = bench/smt-comp
+	url = https://github.com/formalsec/smt-comp.git
diff --git a/bench/collections-c b/bench/collections-c
diff --git a/bench/data b/bench/data
diff --git a/bench/dune b/bench/dune
@@ -0,0 +1 @@
+(dirs runner)
diff --git a/bench/smt-comp b/bench/smt-comp