diff options
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 2374a157..48a07820 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -114,6 +114,7 @@ namespace Microsoft.Boogie.SMTLib var sx = GetProverResponse();
if (sx == null) {
this.NeedsRestart = true;
+ Debug.Assert(false);
HandleError("Prover died");
return;
}
|