diff options
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 1dcfdbff..f4fa5e75 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -162,6 +162,11 @@ namespace Microsoft.Boogie.SMTLib sb.Clear();
}
}
+ } else if (resp.Name == "unsupported") {
+ // Skip -- this may be a benign "unsupported" from a previous command.
+ // Of course, this is suboptimal. We should really be using
+ // print-success to identify the errant command and determine whether
+ // the response is benign.
} else {
return resp;
}
|