Merge branch 'main' of github.com:toolCHAINZ/crackers into ablation_b

toolCHAINZ · toolCHAINZ · commit a2cc2baab6af · 2025-01-04T19:01:37.000Z
diff --git a/src/bin/crackers/main.rs b/src/bin/crackers/main.rs
@@ -128,7 +128,7 @@ fn synthesize(config: PathBuf) -> anyhow::Result<()> {
         Ok(res) => match res {
             DecisionResult::AssignmentFound(a) => {
                 event!(Level::INFO, "Synthesis successful :)");
-                println!("{}", a)
+                event!(Level::INFO, "{}", a)
             }
             DecisionResult::Unsat(a) => {
                 event!(Level::ERROR, "Synthesis unsuccessful: {:?}", a);

Original file line number	Diff line number	Diff line change
`@@ -128,7 +128,7 @@ fn synthesize(config: PathBuf) -> anyhow::Result<()> {`
`128`	`128`	`Ok(res) => match res {`
`129`	`129`	`DecisionResult::AssignmentFound(a) => {`
`130`	`130`	`event!(Level::INFO, "Synthesis successful :)");`
`131`		`- println!("{}", a)`
	`131`	`+ event!(Level::INFO, "{}", a)`
`132`	`132`	`}`
`133`	`133`	`DecisionResult::Unsat(a) => {`
`134`	`134`	`event!(Level::ERROR, "Synthesis unsuccessful: {:?}", a);`