Worked on the parallelization.

1 files changed, 6 insertions, 4 deletions

diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs
index f4fa5e75..2374a157 100644
--- a/Source/Provers/SMTLib/SMTLibProcess.cs
+++ b/Source/Provers/SMTLib/SMTLibProcess.cs
@@ -63,12 +63,14 @@ namespace Microsoft.Boogie.SMTLib
 

 

       try {

-        prover = Process.Start(psi);

+        prover = new Process();

+        prover.StartInfo = psi;        

         prover.ErrorDataReceived += prover_ErrorDataReceived;

-        prover.OutputDataReceived += prover_OutputDataReceived;        

-        prover.BeginErrorReadLine();

-        prover.BeginOutputReadLine();

+        prover.OutputDataReceived += prover_OutputDataReceived;

+        prover.Start();

         toProver = prover.StandardInput;

+        prover.BeginErrorReadLine();

+        prover.BeginOutputReadLine();        

       } catch (System.ComponentModel.Win32Exception e) {

         throw new ProverException(string.Format("Unable to start the process {0}: {1}", psi.FileName, e.Message));

       }