Look for Boogie.exe also in Program Files (x86)

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/Provers/Simplify/ProverInterface.ssc b/Source/Provers/Simplify/ProverInterface.ssc
index a3f38b9e..5e5d8558 100644
--- a/Source/Provers/Simplify/ProverInterface.ssc
+++ b/Source/Provers/Simplify/ProverInterface.ssc
@@ -206,6 +206,10 @@ namespace Microsoft.Boogie.Simplify
             throw new ProverException("Cannot find executable: " + firstTry);

           }

           _proverPath = Path.Combine(@"c:\Program Files\Microsoft Research\Z3-2." + minorVersion + "\\bin", proverExe);

+          if (File.Exists(_proverPath)) {

+            return;  // all seems good

+          }

+          _proverPath = Path.Combine(@"c:\Program Files (x86)\Microsoft Research\Z3-2." + minorVersion + "\\bin", proverExe);

         }

       }

     }