anchor.diff:    int numRerun;
     int numTimeout;
     int numDivergences;
  +  Set<int> timeoutSeeds;
  +  Set<int> skippedSeeds;
   }
   
   /// Class to start fuzz testing session.
  
positive.code:     numRerun = 0;
      numTimeout = 0;
      numDivergences = 0;
    }
  
    bool samePrecision(String mode1, String mode2) =>
  
negative.code:         case -sigkill:
            // Both had a time out.
            numTimeout++;
            timeoutSeeds.add(seed);
            break;
          default:
            // Both had an error.
            numSkipped++;
            skippedSeeds.add(seed);
            break;
        }
      } else {
  