anchor.diff:        // 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",
  +        $display("\nOK: passed %0d test sequences",
                      params.numIterations*params.id.testsPerDepth);
         else if (params.useShrinking)
           shrink;
  
positive.code:               // Initialise test
                action
                  $write("=== Depth %0d, Test %0d/%0d ===%c", currentDepth,
                    testNum, params.id.testsPerDepth, verbose ? 10 : 13);
                  testDone <= False;
                  counterExampleLength <= currentDepth;
                  logClearWire <= True;
  
negative.code: 
  // Default parameters for iterative deepening
  function BlueCheck_Params bcParamsID(MakeResetIfc rst);
    function incDepth(x) = x+10;
  
    ID_Params idParams =
      ID_Params {
  