Add default params for inclusion (implicitly fastest configuration).

VeriFIT · Jan 11, 2025 · 9532e65 · 9532e65
1 parent 3e70883
commit 9532e65
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main.cpp b/src/main.cpp
@@ -306,6 +306,11 @@ int main(int argc, char *argv[])
 	auto dict = spot::make_bdd_dict();
 
     if(options.operation == "inclusion") {
+		// default params for efficient inclusion test
+		if(kofola::OPTIONS.params.count("preproc_incl_B") == 0) kofola::OPTIONS.params["preproc_incl_B"] = "low";
+		if(kofola::OPTIONS.params.count("merge_iwa") == 0) kofola::OPTIONS.params["merge_iwa"] = "yes";
+		if(kofola::OPTIONS.params.count("merge_det") == 0) kofola::OPTIONS.params["merge_det"] = "yes";
+
         spot::parsed_aut_ptr parsed_aut_A = nullptr;
         spot::parsed_aut_ptr parsed_aut_B = nullptr;
         try {