anchor.diff:          append param.SaveResultsInProjectFile "/u "
           append param.Verbose "/v "
           append param.UseGACSwitch "/gac "
  +        appendFormat "/dic:\"{0}\" " param.CustomDictionary
           (!args).ToString()
       
       tracefn "FxCop command\n%s %s" param.ToolPath commandLineCommands
  
positive.code:       FailOnError : FxCopErrorLevel
        TimeOut : TimeSpan
        ToolPath : string
        ForceOutput : bool }
  
  /// This checks the result file with some XML queries for errors
  /// [omit]
  
negative.code:       FailOnError = FxCopErrorLevel.DontFailBuild
        TimeOut = TimeSpan.FromMinutes 5.
        ToolPath = ProgramFilesX86 @@ @"Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\FxCopCmd.exe"
        ForceOutput = false
        CustomDictionary = String.Empty }
  
  /// Run FxCop on a group of assemblies.
  let FxCop setParams (assemblies : string seq) = 
  