test: cleanup and renaming

chrjabs · Apr 10, 2024 · 31d7e1c · 31d7e1c
1 parent 46b2c27
commit 31d7e1c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/batsat/tests/small.rs b/batsat/tests/small.rs
@@ -5,7 +5,7 @@ use rustsat::{
 use rustsat_batsat::BatsatBasicSolver;
 
 #[test]
-fn core_ms_segfault() {
+fn ms_segfault() {
     let mut solver = BatsatBasicSolver::default();
     let inst: SatInstance<BasicVarManager> =
         SatInstance::from_dimacs_path("./data/minisat-segfault.cnf").unwrap();
@@ -15,7 +15,7 @@ fn core_ms_segfault() {
 }
 
 #[test]
-fn simp_small_sat() {
+fn small_sat() {
     let mut solver = BatsatBasicSolver::default();
     let inst: SatInstance<BasicVarManager> =
         SatInstance::from_dimacs_path("./data/AProVE11-12.cnf").unwrap();
@@ -27,7 +27,7 @@ fn simp_small_sat() {
 // Note: this instance seems too hard for batsat to solve
 #[test]
 #[ignore]
-fn simp_small_unsat() {
+fn small_unsat() {
     let mut solver = BatsatBasicSolver::default();
     let inst: SatInstance<BasicVarManager> =
         SatInstance::from_dimacs_path("./data/smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf")