diff options
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.ssc | 4 |
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);
}
}
}
|