Check formula output after search

GBathie · GBathie · commit 551239ccc086 · 2025-05-08T11:49:17.000+02:00
diff --git a/src/tests/mod.rs b/src/tests/mod.rs
@@ -80,6 +80,8 @@ fn test_ltl_search(instance: &str, expected: FormulaTree) {
 
     let f = rebuild_formula(&ltl_res.unwrap(), &ltl_cache);
     assert!(f.size() <= expected.size());
+    let v = f.eval(&instance.traces).accepted_vec();
+    assert_eq!(&v, &instance.target);
 }
 
 /// Converts an array of array of array of ints (yes)

Original file line number	Diff line number	Diff line change
`@@ -80,6 +80,8 @@ fn test_ltl_search(instance: &str, expected: FormulaTree) {`
`80`	`80`
`81`	`81`	`let f = rebuild_formula(&ltl_res.unwrap(), &ltl_cache);`
`82`	`82`	`assert!(f.size() <= expected.size());`
	`83`	`+ let v = f.eval(&instance.traces).accepted_vec();`
	`84`	`+ assert_eq!(&v, &instance.target);`
`83`	`85`	`}`
`84`	`86`
`85`	`87`	`/// Converts an array of array of array of ints (yes)`