From 6053744449aacb657f91fa10981f14f049357946 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 23 Feb 2011 01:50:48 +0000
Subject: Pass solverarguments

---
 Source/Provers/SMTLib/SMTLibProcess.cs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Source/Provers/SMTLib/SMTLibProcess.cs b/Source/Provers/SMTLib/SMTLibProcess.cs
index ace2fb64..7dbb1c59 100644
--- a/Source/Provers/SMTLib/SMTLibProcess.cs
+++ b/Source/Provers/SMTLib/SMTLibProcess.cs
@@ -40,6 +40,9 @@ namespace Microsoft.Boogie.SMTLib
     {
       this.options = options;
 
+      foreach (var arg in options.SolverArguments)
+        psi.Arguments += " " + arg;
+
       if (cancelEvent == null && CommandLineOptions.Clo.RunningBoogieFromCommandLine) {
         cancelEvent = new ConsoleCancelEventHandler(ControlCHandler);
         Console.CancelKeyPress += cancelEvent;
-- 
cgit v1.2.3