Skip model 079 in the complex DNF test.

sybila · Sep 18, 2024 · 75d8572 · 75d8572
1 parent c32f2b9
commit 75d8572
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/_impl_bdd/_impl_dnf.rs b/src/_impl_bdd/_impl_dnf.rs
@@ -391,6 +391,12 @@ mod tests {
                 continue;
             }
 
+            if name == "079.bnet" {
+                // The model fails to parse with stack overflow in debug mode,
+                // but is ok in release.
+                continue;
+            }
+
             println!("Testing {}", name);
 
             let mut total_monotonicity_tests = 0usize;