Change output

toolCHAINZ · toolCHAINZ · commit 5326fe7a789c · 2025-01-04T19:00:47.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);`