diff options
author | Valentin Wüstholz <wuestholz@gmail.com> | 2015-05-18 18:19:13 +0200 |
---|---|---|
committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-05-18 18:19:13 +0200 |
commit | 216c71366e6fff4e225b68ef6ff69035c9542b4a (patch) | |
tree | a4d11ebeb7c99d113418cf15186ce6b67923f8e4 /Source/VCExpr/VCExprAST.cs | |
parent | b8984d6c6d7495f19c70bbc1e3a364f8b0a4e206 (diff) |
Add some experimental support for diagnosing timeouts.
Diffstat (limited to 'Source/VCExpr/VCExprAST.cs')
-rw-r--r-- | Source/VCExpr/VCExprAST.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/VCExpr/VCExprAST.cs b/Source/VCExpr/VCExprAST.cs index 4f8dc08e..15573f5b 100644 --- a/Source/VCExpr/VCExprAST.cs +++ b/Source/VCExpr/VCExprAST.cs @@ -339,6 +339,8 @@ namespace Microsoft.Boogie { public static readonly VCExprOp TickleBoolOp = new VCExprCustomOp("tickleBool", 1, Type.Bool);
+ public static readonly VCExprOp TimeoutDiagnosticsOp = new VCExprCustomOp("timeoutDiagnostics", 1, Type.Bool);
+
public VCExprOp BoogieFunctionOp(Function func) {
Contract.Requires(func != null);
Contract.Ensures(Contract.Result<VCExprOp>() != null);
|