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

toolCHAINZ · toolCHAINZ · commit 5d657484fd59 · 2025-01-04T19:01:21.000Z
diff --git a/src/bin/crackers/main.rs b/src/bin/crackers/main.rs
@@ -129,7 +129,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
`@@ -129,7 +129,7 @@ fn synthesize(config: PathBuf) -> anyhow::Result<()> {`
`129`	`129`	`Ok(res) => match res {`
`130`	`130`	`DecisionResult::AssignmentFound(a) => {`
`131`	`131`	`event!(Level::INFO, "Synthesis successful :)");`
`132`		`- println!("{}", a)`
	`132`	`+ event!(Level::INFO, "{}", a)`
`133`	`133`	`}`
`134`	`134`	`DecisionResult::Unsat(a) => {`
`135`	`135`	`event!(Level::ERROR, "Synthesis unsuccessful: {:?}", a);`