Remove smt-testcomp23 because its trashing ecma-sl's CI

formalsec · Jan 10, 2025 · d95f99d · d95f99d
1 parent e404450
commit d95f99d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
 [submodule "bench/datasets/collections-c"]
 	path = bench/datasets/collections-c
 	url = https://github.com/formalsec/smt-collections-c.git
-[submodule "bench/datasets/smt-testcomp23"]
-	path = bench/datasets/smt-testcomp23
-	url = https://github.com/formalsec/smt-testcomp23.git
diff --git a/bench/datasets/smt-testcomp23 b/bench/datasets/smt-testcomp23