diff options
| -rw-r--r-- | Source/Core/Util.cs | 10 | ||||
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 4 | ||||
| -rw-r--r-- | Test/dafny0/runtest.bat | 2 |
3 files changed, 13 insertions, 3 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs index d557bc55..6b4c570a 100644 --- a/Source/Core/Util.cs +++ b/Source/Core/Util.cs @@ -167,6 +167,16 @@ namespace Microsoft.Boogie { //base();
}
+ public TokenTextWriter(string filename, bool setTokens)
+ : base() {//BASEMOVE DANGER
+ Contract.Requires(writer != null);
+ Contract.Requires(filename != null);
+ this.filename = filename;
+ this.writer = new StreamWriter(filename);
+ this.setTokens = setTokens;
+ //base();
+ }
+
public TokenTextWriter(string filename, TextWriter writer, bool setTokens)
: base() {//BASEMOVE DANGER
Contract.Requires(writer != null);
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 2c2e64e6..c7a929b8 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -250,8 +250,8 @@ namespace Microsoft.Dafny CommandLineOptions.Clo.PrintDesugarings = false;
}
using (TokenTextWriter writer = filename == "-" ?
- new TokenTextWriter("<console>", Console.Out) :
- new TokenTextWriter(filename))
+ new TokenTextWriter("<console>", Console.Out, false) :
+ new TokenTextWriter(filename, false))
{
writer.WriteLine("// " + CommandLineOptions.Clo.Version);
writer.WriteLine("// " + CommandLineOptions.Clo.Environment);
diff --git a/Test/dafny0/runtest.bat b/Test/dafny0/runtest.bat index 18c23e55..f1fc0828 100644 --- a/Test/dafny0/runtest.bat +++ b/Test/dafny0/runtest.bat @@ -23,5 +23,5 @@ for %%f in (TypeTests.dfy NatTypes.dfy SmallTests.dfy Definedness.dfy CallStmtTests.dfy MultiSets.dfy PredExpr.dfy LetExpr.dfy) do (
echo.
echo -------------------- %%f --------------------
- %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
+ %DAFNY_EXE% /compile:0 /print:out.bpl.tmp /dprint:out.dfy.tmp %* %%f
)
|