anchor.diff:          // with at least one time out is treated as a regular time out.
           if (result1.exitCode == -sigkill || result2.exitCode == -sigkill) {
             numTimeout++;
  +          timeoutSeeds.add(seed);
             return ReportStatus.ignored;
           }
         }
  
positive.code:   int numRerun;
    int numTimeout;
    int numDivergences;
  }
  
  /// Class to start fuzz testing session.
  
negative.code:     print('\n${isolate}: done');
      showStatistics();
      print('');
      if (timeoutSeeds.isNotEmpty) {
        print('${isolate} timeout: ' + timeoutSeeds.join(", "));
      }
      if (skippedSeeds.isNotEmpty) {
        print('${isolate} skipped: ' + skippedSeeds.join(", "));
      }
      print('');
  
      cleanup();
      return numDivergences;
  