implementation of iterative LetVC

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 84ecce6d..d2a7de58 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -259,6 +259,7 @@ namespace Microsoft.Boogie {
       BlockReach,

       BlockNestedReach,

       Dag,

+      DagIterative,

       Doomed,

       Unspecified

     }

@@ -1049,6 +1050,9 @@ namespace Microsoft.Boogie {
                 case "dag":

                   vcVariety = VCVariety.Dag;

                   break;

+                case "i":

+                  vcVariety = VCVariety.DagIterative;

+                  break;

                 case "doomed":

                   vcVariety = VCVariety.Doomed;

                   break;