diff options
| author |  wuestholz <unknown> | 2013-07-26 14:37:27 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-07-26 14:37:27 -0700 |
| commit | a54d2bcc125945bc30b08a9457c7954a53510f1c (patch) | |
| tree | b3769fc593aeac899853c4df33b1d8e7ddf457b9 /Source/Provers/SMTLib/SMTLibProcess.cs | |
| parent | 32f04186a28b3a3d76d42f54c56dac7deb20d7b9 (diff) | |
Removed harmful "Assert(false)".
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibProcess.cs')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibProcess.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs index 48a07820..2374a157 100644 --- a/Source/Provers/SMTLib/SMTLibProcess.cs +++ b/Source/Provers/SMTLib/SMTLibProcess.cs @@ -114,7 +114,6 @@ namespace Microsoft.Boogie.SMTLib var sx = GetProverResponse();
if (sx == null) {
this.NeedsRestart = true;
- Debug.Assert(false);
HandleError("Prover died");
return;
}
|