anchor.diff:      , interactive           : True
       , useShrinking          : True
       , id                    : idParams
  -    , numIterations         : 1
  +    , numIterations         : 2
       };
   
     return params;
  
positive.code:       // We've reached the end of iterative deepening.  Either we
        // found a failure or performed the desired number of tests.
        if (!failureFound)
          $display("OK: passed %0d test sequences",
                     params.numIterations*params.id.testsPerDepth);
        else if (params.useShrinking)
          shrink;
  
negative.code:               // Initialise test
                action
                  $write("=== Depth %0d, Test %0d/%0d ===%c", currentDepth,
                    testNum+1, params.id.testsPerDepth, verbose ? 10 : 13);
                  testDone <= False;
                  counterExampleLength <= currentDepth;
                  logClearWire <= True;
  