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/DafnyHelper.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/DafnyHelper.cs')
-rw-r--r-- | Source/DafnyServer/DafnyHelper.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/DafnyServer/DafnyHelper.cs b/Source/DafnyServer/DafnyHelper.cs index 3204fdb3..e54e2b48 100644 --- a/Source/DafnyServer/DafnyHelper.cs +++ b/Source/DafnyServer/DafnyHelper.cs @@ -29,18 +29,21 @@ namespace Microsoft.Dafny { class DafnyHelper {
private string fname;
private string source;
+ private string[] args;
private readonly Dafny.ErrorReporter reporter;
private Dafny.Program dafnyProgram;
private Bpl.Program boogieProgram;
- public DafnyHelper(string fname, string source) {
+ public DafnyHelper(string[] args, string fname, string source) {
+ this.args = args;
this.fname = fname;
this.source = source;
this.reporter = new Dafny.ConsoleErrorReporter();
}
public bool Verify() {
+ ServerUtils.ApplyArgs(args, reporter);
return Parse() && Resolve() && Translate() && Boogie();
}
|