anchor.diff:      print('');
   
       cleanup();
  -    return numDivergences == 0;
  +    return numDivergences;
     }
   
     void setup() {
  
positive.code:   DartFuzzTest(this.env, this.repeat, this.trueDivergence, this.showStats,
        this.top, this.mode1, this.mode2);
  
    bool run() {
      setup();
  
      print('\n${isolate}: start');
  
negative.code:   void reportDivergence(
        TestResult result1, TestResult result2, bool outputDivergence) {
      numDivergences++;
      print(
          '\n${isolate}: !DIVERGENCE! $version:$seed (output=${outputDivergence})');
      if (showStats && outputDivergence) {
        print('out1:\n${result1.output}\nout2:\n${result2.output}\n');
      }
    }
  