anchor.diff:      , interactive           : True
       , useShrinking          : True
       , id                    : idParams
  -    , numIterations         : 1
  +    , numIterations         : 2
       };
   
     return params;
  
positive.code: 
  // Default parameters for iterative deepening
  function BlueCheck_Params bcParamsID(MakeResetIfc rst);
    function incDepth(x) = x+1;
  
    ID_Params idParams =
      ID_Params {
  
negative.code:       // We've reached the end of iterative deepening.  Either we
        // found a failure or performed the desired number of tests.
        if (!failureFound)
          $display("\nOK: passed %0d test sequences",
                     params.numIterations*params.id.testsPerDepth);
        else if (params.useShrinking)
          shrink;
  