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.

1 files changed, 4 insertions, 0 deletions

diff --git a/Source/Dafny/TriggerGenerator.cs b/Source/Dafny/TriggerGenerator.cs
index 98354cad..d8a29d75 100644
--- a/Source/Dafny/TriggerGenerator.cs
+++ b/Source/Dafny/TriggerGenerator.cs
@@ -502,6 +502,10 @@ namespace Microsoft.Dafny {
     }

 

     internal static bool IsTriggerKiller(Expression expr) {

+      // CLEMENT: This should be removed once trigger generation becomes the default

+      if (!DafnyOptions.O.AutoTriggers) {

+        return false;

+      }

       var annotation = new TriggerGenerator((x, y, z) => { }).Annotate(expr);

       return annotation.IsTriggerKiller;

     }