1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Provers/Z3/Prover.cs b/Source/Provers/Z3/Prover.cs
index 7a882888..c93b364d 100644
--- a/Source/Provers/Z3/Prover.cs
+++ b/Source/Provers/Z3/Prover.cs
@@ -271,6 +271,9 @@ namespace Microsoft.Boogie.Z3
           return ProverOutcome.TimeOut;
         }
 
+        if (ch == -1)
+            throw new UnexpectedProverOutputException("z3 crashed and produced no output");          
+        
         string line = new string((char)ch, 1) + FromReadLine();
 
         if (line.StartsWith("STATS ")) {