diff options
| author |  Michal Moskal <michal@moskal.me> | 2012-02-28 12:09:44 -0800 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2012-02-28 12:09:44 -0800 |
| commit | 57a4fa58db17b8ba282ed015f4dd9d68054bfa31 (patch) | |
| tree | 24121bd50cfef5e657fa859309b0b611e5f73fae /Source/Provers | |
| parent | d844df2d9a79b14a1f4b1337c4bbcd56e241d4d4 (diff) | |
Simplification to previous checkin
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 9bb605b7..caff7336 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -384,12 +384,7 @@ namespace Microsoft.Boogie.SMTLib {
Contract.EnsuresOnThrow<UnexpectedProverOutputException>(true);
- var result = Outcome.Undetermined;
-
- if (Process == null)
- return result;
-
- result = CheckOutcomeCore(handler);
+ var result = CheckOutcomeCore(handler);
SendThisVC("(pop 1)");
FlushLogFile();
|