anchor.diff:  
     void showReproduce() {
       print("\n-- BEGIN REPRODUCE  --\n");
  +    print("DART SDK REVISION: $dartSdkRevision\n");
       print("dartfuzz.dart --${fp ? "" : "no-"}fp --${ffi ? "" : "no-"}ffi "
           "--${flatTp ? "" : "no-"}flat "
           "--seed ${seed} $fileName");
  
positive.code:       top = Directory.current.path;
      }
      return top;
    }
  
    // Picks a mode (command line or random).
  
negative.code:       this.mode1,
        this.mode2,
        this.rerun)
        : top = getTop(tp),
          dartSdkRevision = getDartSdkRevision(tp);
  
    start() async {
      print('\n**\n**** Dart Fuzz Testing Session\n**\n');
      print('Fuzz Version      : ${version}');
      print('Dart SDK Revision : ${dartSdkRevision}');
      print('Isolates          : ${isolates}');
      print('Tests             : ${repeat}');
      if (time > 0) {
        print('Time              : ${time} seconds');
      } else {
        print('Time              : unlimited');
      }
      print('True Divergence   : ${trueDivergence}');
      print('Show Stats        : ${showStats}');
      print('Dart Dev          : ${top}');
      // Fork.
      List<ReceivePort> ports = List();
      for (int i = 0; i < isolates; i++) {
  