diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-27 18:59:10 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-27 18:59:10 -0700 |
| commit | 8ede9fda35767f083899940886b69f53640891c9 (patch) | |
| tree | 76c039c934157331e4de0a82c1903367e50b2d40 /Source/DafnyServer/VerificationTask.cs | |
| parent | 1e725f0c9382a3dd8be109d160581868c9567f61 (diff) | |
Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)
Dafny now first looks for a z3 binary in z3/bin, and if it can't find one it
looks for one in Binaries/z3.exe (mostly for backwards-compatibility with
already set-up source installations).
Diffstat (limited to 'Source/DafnyServer/VerificationTask.cs')
| -rw-r--r-- | Source/DafnyServer/VerificationTask.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/DafnyServer/VerificationTask.cs b/Source/DafnyServer/VerificationTask.cs index a00688b1..eb740e70 100644 --- a/Source/DafnyServer/VerificationTask.cs +++ b/Source/DafnyServer/VerificationTask.cs @@ -52,8 +52,7 @@ namespace Microsoft.Dafny { }
internal void Run() {
- ServerUtils.ApplyArgs(args);
- new DafnyHelper(filename, ProgramSource).Verify();
+ new DafnyHelper(args, filename, ProgramSource).Verify();
}
}
}
|