Merge pull request #114 from lixitrixi/run-kissat-tests

Run kissat tests
conjure-cp · Nov 28, 2023 · de0459b · de0459b
2 parents a3df7f4 + 45c10fe
commit de0459b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/solvers/kissat/src/lib.rs b/solvers/kissat/src/lib.rs
@@ -1,4 +1,5 @@
 #[cfg(test)]
+#[test]
 fn test1() {
  use kissat_rs::Assignment;
  use kissat_rs::Solver;