diff options
| author |  stobies <unknown> | 2009-09-30 06:58:18 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2009-09-30 06:58:18 +0000 |
| commit | 5cc1c21265d72f37af429e8c34303fd7f08361eb (patch) | |
| tree | f5daf843e6c63a69bbb8f9ee50e473dcabb44df1 /Source | |
| parent | cd2f9e65306e85bf74d6b5e3dc8aa16bf6b1e5d1 (diff) | |
Handle new Z3 'Memout' message.
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/Z3/Prover.ssc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Provers/Z3/Prover.ssc b/Source/Provers/Z3/Prover.ssc index 3fbb8a4a..c96369f8 100644 --- a/Source/Provers/Z3/Prover.ssc +++ b/Source/Provers/Z3/Prover.ssc @@ -282,6 +282,11 @@ namespace Microsoft.Boogie.Z3 return ProverOutcome.Inconclusive;
}
+ if (status.StartsWith("Memout")) {
+ handler.OnResourceExceeded("memory");
+ return ProverOutcome.OutOfMemory;
+ }
+
if (status.StartsWith("Invalid")) {
isInvalid = true;
continue;
|