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 | |
| parent | b8984d6c6d7495f19c70bbc1e3a364f8b0a4e206 (diff) | |
Add some experimental support for diagnosing timeouts.
Diffstat (limited to 'Source/VCExpr')
| -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);
|