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

Author: toolCHAINZ

src/bin/crackers/main.rs

@@ -122,7 +122,7 @@ fn synthesize(config: PathBuf) -> anyhow::Result<()> {
         .init();
     let params = p.resolve()?;
 
-    match params.build_single(&z3) {
+    match params.build_combined(&z3) {
         Ok(mut p) => match p.decide() {
             Ok(res) => match res {
                 DecisionResult::AssignmentFound(a) => {