Add help text

boogie-org · Nov 15, 2023 · cd5f4c7 · cd5f4c7
1 parent 4ad4d6a
commit cd5f4c7
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Source/ExecutionEngine/CommandLineOptions.cs b/Source/ExecutionEngine/CommandLineOptions.cs
@@ -1523,6 +1523,11 @@ used by the `/trackVerificationCoverage` option.
        Set the random seed for verifying a given implementation.
        Has the same effect as setting /randomSeed but only for a single implementation.
 
+     {:smt_option name, value}
+       Set the SMT option 'name' to 'value', using the SMT-Lib command
+       '(set-option :name value)', just for the verification of this
+       procedure.
+
      {:verboseName <string>}
        Set the name to use when printing messages about verification
        status in `/trace` and selecting procedures to verify with