diff options
| author |  U-REDMOND\kenmcmil <kenmcmil@KENMCMIL-ASUS.redmond.corp.microsoft.com> | 2015-06-09 15:51:05 -0700 |
|---|---|---|
| committer | U-REDMOND\kenmcmil <kenmcmil@KENMCMIL-ASUS.redmond.corp.microsoft.com> | 2015-06-09 15:51:05 -0700 |
| commit | 073ddcc74e239cb9b270cc2e6db60e1daa033518 (patch) | |
| tree | 4f1115d65c9395d090c3b5eaf6439550efe2eb80 /Source/VCGeneration/Check.cs | |
| parent | 8f64d5c104efe69c5d561c1b22c3e1320bba04fa (diff) | |
various changes for duality from dead codeplex repo
Diffstat (limited to 'Source/VCGeneration/Check.cs')
| -rw-r--r-- | Source/VCGeneration/Check.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs index 33baf798..71ae21c6 100644 --- a/Source/VCGeneration/Check.cs +++ b/Source/VCGeneration/Check.cs @@ -449,7 +449,8 @@ namespace Microsoft.Boogie { Invalid,
TimeOut,
OutOfMemory,
- Undetermined
+ Undetermined,
+ Bounded
}
public class ErrorHandler {
// Used in CheckOutcomeCore
|