Fix ccadical_failed usage in examples

Lipen · Mar 25, 2024 · 7402c5f · 7402c5f
1 parent 6868696
commit 7402c5f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/ccadical-static.rs b/examples/ccadical-static.rs
@@ -53,8 +53,8 @@ fn main() -> color_eyre::Result<()> {
             println!("failed({}) = {}", i, ccadical_failed(ptr, i));
             println!("failed(-{}) = {}", i, ccadical_failed(ptr, -i));
         }
-        assert_eq!(1, ccadical_failed(ptr, 1));
-        assert_eq!(1, ccadical_failed(ptr, 2));
+        assert_eq!(true, ccadical_failed(ptr, 1));
+        assert_eq!(true, ccadical_failed(ptr, 2));
 
         // `solve` automatically resets given assumptions: another call should be SAT
         let result = ccadical_solve(ptr);