cargo test

shnarazk · Jul 28, 2024 · ba52577 · ba52577
1 parent 18baf94
commit ba52577
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/cdb/mod.rs b/src/cdb/mod.rs
@@ -1328,15 +1328,15 @@ mod tests {
         assert!(!c.is_dead());
         assert!(!c.is(FlagClause::LEARNT));
         #[cfg(feature = "just_used")]
-        assert!(!c.is(FlagClause::USED));
+        assert!(c.is(FlagClause::USED));
         let c2 = cdb
             .new_clause(&mut asg, &mut vec![lit(-1), lit(2), lit(3)], true)
             .as_ci();
         let c = &cdb[c2];
         assert!(!c.is_dead());
         assert!(c.is(FlagClause::LEARNT));
         #[cfg(feature = "just_used")]
-        assert!(!c.is(FlagClause::USED));
+        assert!(c.is(FlagClause::USED));
     }
     #[test]
     fn test_clause_equality() {