Add a warning for possible stack overflow if optimization 4 is used.

(cherry picked from commit cd56875)
mCRL2org · Aug 31, 2018 · f824773 · f824773
1 parent 5faa268
commit f824773
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tools/release/pbessolve/pbessolve.cpp b/tools/release/pbessolve/pbessolve.cpp
@@ -101,7 +101,8 @@ class pbessolve_tool: public rewriter_tool<pbes_input_tool<input_tool>>
                       " variables whether they occur on a loop, such that"
                       " they can be set to true or false, depending on the"
                       " fixed point symbol. This can increase the time"
-                      " needed to generate an equation substantially."),
+                      " needed to generate an equation substantially. N.B. This"
+                      " optimization may cause stack overflow issues."),
                         "use strategy STRATEGY",
                  's');
     }