diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 14:36:11 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-16 14:36:11 -0700 |
| commit | 6a2c5d90e90045ae972176935ea315fc6db8452d (patch) | |
| tree | 188dbca2fd2c4ec4c61fb4a004ae43bf978416ee /Source/Dafny/DafnyOptions.cs | |
| parent | 7950b3a320c9753cd1a05ce70c1a8db5df1f031b (diff) | |
Force IsTriggerKiller to return false when /autoTriggers is off
This is a temporary measure to ensure that the trigger related machinery
is entirely disabled when /autoTriggers is off.
Diffstat (limited to 'Source/Dafny/DafnyOptions.cs')
0 files changed, 0 insertions, 0 deletions