anchor.diff:        this.mode1,
         this.mode2,
         this.rerun)
  -      : top = getTop(tp);
  +      : top = getTop(tp),
  +        dartSdkRevision = getDartSdkRevision(tp);
   
     start() async {
       print('\n**\n**** Dart Fuzz Testing Session\n**\n');
  -    print('Fuzz Version    : ${version}');
  -    print('Isolates        : ${isolates}');
  -    print('Tests           : ${repeat}');
  +    print('Fuzz Version      : ${version}');
  +    print('Dart SDK Revision : ${dartSdkRevision}');
  +    print('Isolates          : ${isolates}');
  +    print('Tests             : ${repeat}');
       if (time > 0) {
  -      print('Time            : ${time} seconds');
  +      print('Time              : ${time} seconds');
       } else {
  -      print('Time            : unlimited');
  -    }
  -    print('True Divergence : ${trueDivergence}');
  -    print('Show Stats      : ${showStats}');
  -    print('Dart Dev        : ${top}');
  +      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++) {
  
positive.code:       top = Directory.current.path;
      }
      return top;
    }
  
    // Picks a mode (command line or random).
  
negative.code: 
    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");
  