diff options
author | leino <unknown> | 2014-11-06 14:40:17 -0800 |
---|---|---|
committer | leino <unknown> | 2014-11-06 14:40:17 -0800 |
commit | 4b8346cdb84df7ba1bdd59aca41c6e7807f912c8 (patch) | |
tree | cf0ffa9997b1f01d93a432da9948b1ef679e2f65 /Source/DafnyDriver/DafnyDriver.cs | |
parent | 41ae0ef413e2806e1ee753f56de2152938902fac (diff) | |
parent | fd15838d416860cd7fe9e5303fb4d624d0b82ab3 (diff) |
Merge
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
-rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index 2bda7cf0..16349ccc 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -39,7 +39,7 @@ namespace Microsoft.Dafny public static int ThreadMain(string[] args)
{
Contract.Requires(cce.NonNullElements(args));
-
+
printer = new DafnyConsolePrinter();
ExecutionEngine.printer = printer;
@@ -51,7 +51,7 @@ namespace Microsoft.Dafny exitValue = ExitValue.PREPROCESSING_ERROR;
goto END;
}
- //CommandLineOptions.Clo.Files = new List<string> { @"C:\dafny\Test\dafny0\Trait\TraitOverride1.dfy" };
+ //CommandLineOptions.Clo.Files = new List<string> { @"C:\dafny\Test\dafny0\Trait\TraitExtend.dfy" };
if (CommandLineOptions.Clo.Files.Count == 0)
{
@@ -109,6 +109,7 @@ namespace Microsoft.Dafny // TODO(wuestholz): We should probably add a separate flag for this. This is currently only used by the new testing infrastructure.
return 0;
}
+ //Console.ReadKey();
return (int)exitValue;
}
|