diff options
author | wuestholz <unknown> | 2013-07-12 16:29:30 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-07-12 16:29:30 -0700 |
commit | fb7ba0533f976442e53a4180a988ac7e2bb5c777 (patch) | |
tree | 5ac09f7787d16144c5f08c83da2541aaf55f3f72 /Source/Core/CommandLineOptions.cs | |
parent | 714a571fee581fca2c46cf7debd9743ca1095eec (diff) |
Added an attribute to set the time limit for implementations.
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 37d5b51b..a9bd25ee 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1491,6 +1491,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""}
|