diff options
| author |  leino <unknown> | 2015-10-24 18:39:19 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-10-24 18:39:19 -0700 |
| commit | b35216f55d22123ae4c35eacf28e99a2b6dbbfaf (patch) | |
| tree | c3431c9d91ef9761122a0e99f2fd14491db46e5c /Source/DafnyExtension | |
| parent | 516f8a5ab59dd2bf7c813b09824a7e2cda004538 (diff) | |
Make /autoTriggers:1 be the default in Visual Studio
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 30b0bd52..2ad05e85 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -37,6 +37,7 @@ namespace DafnyLanguage if (Dafny.DafnyOptions.O == null) {
var options = new Dafny.DafnyOptions();
options.ProverKillTime = 10;
+ options.AutoTriggers = true;
options.ErrorTrace = 0;
options.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
options.ModelViewFile = "-";
|