diff options
| author |  allydonaldson <unknown> | 2013-07-16 10:50:41 +0100 |
|---|---|---|
| committer | allydonaldson <unknown> | 2013-07-16 10:50:41 +0100 |
| commit | 78f354c9dc7e64b915cd51b824fc7481c9f8b973 (patch) | |
| tree | c58cc589b2174729dd2d613f7438a44184820bc6 /Source/Core/CommandLineOptions.cs | |
| parent | ff6e4ffc5dfedf32e742f4a2df3a25d77de28abc (diff) | |
| parent | 1a55e51994e8c147ea27ead66cfc25c8cc8fb512 (diff) | |
Merge
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index fcb3157b..51034bf3 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1496,6 +1496,9 @@ namespace Microsoft.Boogie { Assign a unique ID to an implementation to be used for verification
result caching (default: ""<impl. name>:0"").
+ {:timeLimit N}
+ Set the time limit for a given implementation.
+
---- On functions ----------------------------------------------------------
{:builtin ""spec""}
|