anchor.diff:    int numRerun;
     int numTimeout;
     int numDivergences;
  +  Set<int> timeoutSeeds;
  +  Set<int> skippedSeeds;
   }
   
   /// Class to start fuzz testing session.
  
positive.code:         // with at least one time out is treated as a regular time out.
          if (result1.exitCode == -sigkill || result2.exitCode == -sigkill) {
            numTimeout++;
            return ReportStatus.ignored;
          }
        }
  
negative.code:     numRerun = 0;
      numTimeout = 0;
      numDivergences = 0;
      timeoutSeeds = {};
      skippedSeeds = {};
    }
  
    bool samePrecision(String mode1, String mode2) =>
  