anchor.diff:            else
               begin
                 state <= nextState;
  -              if (state != 0 && !didntFire)
  +              if (state != 0 && didFire)
                   begin
                     if (count < params.numIterations)
                       count <= count+1;
  
positive.code:   FIFOF#(State) stateLog  <- mkSizedFIFOF(logSize);
    FIFOF#(Bit#(64)) timeLog <- mkSizedFIFOF(logSize);
    Wire#(Bool) replayWire <- mkDWire(False);
    Wire#(Bool) logEnqWire <- mkDWire(False);
    Wire#(Bool) logRotWire <- mkDWire(False);
    Wire#(Bool) logClearWire <- mkDWire(False);
    Reg#(Bit#(32)) counterExampleLength <- mkReg(0);
  
negative.code:       testDone <= False;
        resetTimer <= True;
        preStmt;
        count <= 1;
        while (!testDone)
          action
            await(!waitWire);
  