From fb7ba0533f976442e53a4180a988ac7e2bb5c777 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 12 Jul 2013 16:29:30 -0700
Subject: Added an attribute to set the time limit for implementations.

---
 Source/Core/CommandLineOptions.cs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/Core/CommandLineOptions.cs')

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""}
-- 
cgit v1.2.3