anchor.diff:              proc.ExitCode, stdOut, stdErr
   
           member __.Verify(assemblyPath : string) =
  -            let id,stdOut,_ = execute(verifierPath, sprintf "\"%s\" /UNIQUE /IL /NOLOGO" assemblyPath)
  -            if id = expectedExitCode then ()
  +            let id,stdOut,stdErr = execute(verifierPath, sprintf "%s \"%s\"" switches assemblyPath)
  +            if id = expectedExitCode && String.IsNullOrWhiteSpace stdErr then ()
               else
  -                raise <| VerificationException(assemblyPath, id, stdOut)
  +                raise <| VerificationException(assemblyPath, id, stdOut + "\n" + stdErr)
   
   
       type DebugMode =
  
positive.code:         let fscorlib = typeof<int option>.Assembly
          verifier.Verify fscorlib.Location
  
          let junkFile = Path.GetTempFileName()
          do 
              File.Copy(fscorlib.Location, junkFile, overwrite = true)
              use fs = new FileStream(junkFile, FileMode.Open, FileAccess.Write)
              fs.Seek(50L, SeekOrigin.Begin) |> ignore
              fs.Write([|1uy..20uy|], 0, 20) 
  
          Assert.Throws<VerificationException>(fun () -> verifier.Verify junkFile |> ignore) |> ignore
  
  
      [<Test>]
  
negative.code: 
      open NUnit.Framework
  
      exception VerificationException of (*assembly:*)string * (*errorCode:*)int * (*output:*)string
      with
          override e.Message = sprintf "Verification of '%s' failed with code %d." e.Data0 e.Data1
  
      exception CompilationError of (*assembly:*)string * (*errorCode:*)int * (*info:*)ErrorInfo []
      with
          override e.Message = sprintf "Compilation of '%s' failed with code %d (%A)" e.Data0 e.Data1 e.Data2
  
      type PEVerifier () =
  
          static let expectedExitCode = 0
  
          let runsOnMono = try System.Type.GetType("Mono.Runtime") <> null with _ -> false
          let verifierPath, switches =
              if runsOnMono then
                  "pedump", "--verify all"
              else
                  let path = ToolLocationHelper.GetPathToDotNetFrameworkSdkFile("peverify.exe", TargetDotNetFrameworkVersion.VersionLatest)
                  path, "/UNIQUE /IL /NOLOGO"
  
          static let execute (fileName : string, arguments : string) =
              let psi = new ProcessStartInfo(fileName, arguments)
  