diff options
| author |  wuestholz <unknown> | 2010-11-23 07:35:06 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-11-23 07:35:06 +0000 |
| commit | 63e87ebd771b987082e2a3b51b89ad73ed5ab75d (patch) | |
| tree | 20bda350e0eaba7caaacdcfb1ec54d424b97bc71 /Source/Provers/Simplify/ProverInterface.cs | |
| parent | 6de6a788ea56b36b802e7b44fe67199c3b7b7e53 (diff) | |
Boogie: Look for Z3 versions up to 2.20.
Diffstat (limited to 'Source/Provers/Simplify/ProverInterface.cs')
| -rw-r--r-- | Source/Provers/Simplify/ProverInterface.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs index 6d01d807..d747d3fd 100644 --- a/Source/Provers/Simplify/ProverInterface.cs +++ b/Source/Provers/Simplify/ProverInterface.cs @@ -253,7 +253,7 @@ namespace Microsoft.Boogie.Simplify { }
List<string> attempts = new List<string>();
- for (int minorVersion = 15; true; minorVersion--) {
+ for (int minorVersion = 20; true; minorVersion--) {
if (File.Exists(_proverPath)) {
break; // all seems good
}
|