diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 15:58:20 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-19 15:58:20 -0700 |
| commit | 8823b0e75fbf0460ddea5e10f9ee61f5fa171b44 (patch) | |
| tree | e56055a762e15592e489f520f7febbe28edc48d3 /Source/DafnyServer | |
| parent | 8b40a61b3e0dd5c8154cd2095a2fa813e0d7c9c5 (diff) | |
server: always print tooltips
Diffstat (limited to 'Source/DafnyServer')
| -rw-r--r-- | Source/DafnyServer/Utilities.cs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs index 5bd6e7d5..3bc334b3 100644 --- a/Source/DafnyServer/Utilities.cs +++ b/Source/DafnyServer/Utilities.cs @@ -50,10 +50,11 @@ namespace Microsoft.Dafny { if (CommandLineOptions.Clo.Parse(args)) {
// Dafny.DafnyOptions.O.ErrorTrace = 0; //FIXME
// Dafny.DafnyOptions.O.ModelViewFile = "-";
- Dafny.DafnyOptions.O.UnicodeOutput = true;
- Dafny.DafnyOptions.O.VerifySnapshots = 2;
- Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
- Dafny.DafnyOptions.O.Trace = trace;
+ DafnyOptions.O.PrintTooltips = true;
+ DafnyOptions.O.UnicodeOutput = true;
+ DafnyOptions.O.VerifySnapshots = 2;
+ DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
+ DafnyOptions.O.Trace = trace;
} else {
throw new ServerException("Invalid command line options");
}
|