anchor.diff:    void runTest() {
       TestResult result1 = runner1.run();
       TestResult result2 = runner2.run();
  -    if (checkDivergence(result1, result2) == ReportStatus.rerun && rerun) {
  +    var report = checkDivergence(result1, result2);
  +    if (report == ReportStatus.rerun && rerun) {
         print("\nCommencing re-run .... \n");
         numDivergences--;
         result1 = runner1.run();
         result2 = runner2.run();
  -      if (checkDivergence(result1, result2) == ReportStatus.no_divergence) {
  +      report = checkDivergence(result1, result2);
  +      if (report == ReportStatus.no_divergence) {
           print("\nNo error on re-run\n");
           numRerun++;
         }
  +    }
  +    if (report == ReportStatus.reported ||
  +        (!rerun && report == ReportStatus.rerun)) {
  +      showReproduce();
       }
     }
   
  
positive.code:     if (mode.endsWith('dbc64')) return 'ReleaseSIMDBC64';
      throw ('unknown tag in mode: $mode');
    }
  }
  
  /// Concrete test runner of Dart JIT.
  
negative.code:     return runCommand(cmd, env);
    }
  
    void printReproductionCommand() {
      print(
          [generate, '--gen-bytecode', platform, '-o', dill, fileName].join(" "));
      print(cmd.join(" "));
    }
  
    String description;
    String generate;
    String platform;
  