anchor.diff:    bool get didFail() {
       return (exitCode != 0 && !hasCrashed);
     }
  -  
  +
     // Reverse result of a negative test.
     bool get hasFailed() => (testCase.isNegative ? !didFail : didFail);
   
  
positive.code:       numCompileTimeAnnotations = optionsFromFile['numCompileTimeAnnotations'];
        isStaticClean = optionsFromFile['isStaticClean'];
      }
      
      if (errors.length == 0) {
        if (!hasFatalTypeErrors && exitCode != 0) {
          diagnostics.add("EXIT CODE MISMATCH: Expected error message:");
  
negative.code:     } 
      return false;
    }
  
    // Parse a line delimited by the | character using \ as an escape charager
    // like:  FOO|BAR|FOO\|BAR|FOO\\BAZ as 4 fields: FOO BAR FOO|BAR FOO\BAZ
    List<String> splitMachineError(String line) {
  