JigSAT -> CreuSAT in tests

sarsko · Mar 25, 2023 · 432f916 · 432f916
1 parent 8f9641d
commit 432f916
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 12 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,11 +1,5 @@
 [workspace]
-members = [
-#  "CreuSAT",
-  "Robinson",
-  "Friday",
-  "JigSAT",
-  "tests",
-]
+members = ["CreuSAT", "Robinson", "Friday", "JigSAT", "tests"]
 
 [profile.release]
 debug = false
@@ -28,4 +22,3 @@ opt-level = 3
 debug = false
 lto = true
 opt-level = 3
-
diff --git a/tests/src/lib.rs b/tests/src/lib.rs
@@ -2,10 +2,10 @@
 use std::{fs::read_dir, io::Write, time::Instant};
 use termcolor::*;
 
-extern crate JigSAT;
-use JigSAT::parser::{parse_cnf, preproc_and_solve};
-//extern crate CreuSAT;
-//use CreuSAT::parser::{parse_cnf, preproc_and_solve};
+//extern crate JigSAT;
+//use JigSAT::parser::{parse_cnf, preproc_and_solve};
+extern crate CreuSAT;
+use CreuSAT::parser::{parse_cnf, preproc_and_solve};
 
 #[test]
 fn test_all_sat() {