Do not generate the evidence when there is no counter example informa…

…tion.
mCRL2org · Jun 5, 2024 · 5b7c017 · 5b7c017
1 parent 476a158
commit 5b7c017
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/libraries/pbes/include/mcrl2/pbes/tools/pbessolve.h b/libraries/pbes/include/mcrl2/pbes/tools/pbessolve.h
@@ -305,6 +305,10 @@ class pbessolve_tool
             "use the"
             " --counter-example option when generating the PBES?"
           << std::endl;
+
+      // Avoid writing the counterexample information.
+      lpsfile = "";
+      ltsfile = "";
     }
 
     // When the original has counter example information we remove it and store the provided pbes.