Update for dev branch

Author: toolCHAINZ

libc_execve.toml

@@ -5,16 +5,15 @@ log_level = "INFO"
 [synthesis]
 strategy = "sat"
 max_candidates_per_slot = 200
-parallel = 4
+parallel = 7
 
 [specification]
 path = "bin/execve.o"
 max_instructions = 5
 
 [library]
 path = "bin/libc_wrapper"
-max_gadget_length = 6
-
+max_gadget_length = 8
 
 [constraint.precondition.register]
 RAX = 0

src/bin/crackers/main.rs

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