Use latest version of bandit

sbeyer · Aug 4, 2024 · fbf2943 · fbf2943
1 parent 310f8bb
commit fbf2943
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "test/bandit"]
 	path = test/bandit
-	url = https://github.com/joakimkarlsson/bandit.git
+	url = https://github.com/banditcpp/bandit.git
diff --git a/test/bandit b/test/bandit
diff --git a/test/tests.cc b/test/tests.cc
@@ -1,7 +1,9 @@
 #include "tests.h"
 
+#include <bandit/assertion_frameworks/snowhouse/snowhouse.h>
 #include <commonsat/commonsat.h>
-#include <bandit/bandit.h>
+
+using namespace snowhouse;
 
 void test_satisfiable(commonsat::SolverInterface &solver)
 {