anchor.diff:    Reg#(Bool) failureReg    <- mkConfigReg(False);
     Wire#(Bool) resetFailure <- mkDWire(False);
     PulseWire wedgeFailure   <- mkPulseWireOR;
  +  Reg#(Bool) wedgeDetected <- mkConfigReg(False);
     Bool ensureFailure       =  List::any( \== (False), ensureBools);
     Bool invariantFailure    = (waitWire || !checkingEnabled) ? False
                              : List::any( \== (False),
  
positive.code: // When shrinking is enabled, the length of the sequences generated
  // must be bounded.
  
  Integer maxSeqLen = 64;
  
  // ============================================================================
  // Communication from FPGA to host PC
  
negative.code:         actions[i];
          didFire.send;
        endrule
        rule runActionNotPossible (actionsEnabled && inState[i] && !waitWire);
          if (params.showNonFire && verbose)
            $display(timeInfo, "[did not fire] ", actionMsgs[i]);
        endrule
      end
  