diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-07-19 11:13:36 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-19 11:13:36 +0100 |
| commit | 5f26d6075b8493f3e240c5d356b5fc588c5d7985 (patch) | |
| tree | 834d1be7b2127bb49b4da949e523ca291a1e6144 /Source/Provers | |
| parent | 3c5116cd8a4b58bc220f0d1ff068564556c7ab07 (diff) | |
| parent | 51f2fa80a101ffae855c848ed83b889f1becbdd3 (diff) | |
merge
Diffstat (limited to 'Source/Provers')
| -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;
}
|