anchor.diff:          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
  +        let nonAssembly = Path.Combine(Directory.GetCurrentDirectory(), typeof<PEVerifier>.Assembly.GetName().Name + ".pdb")
  +        Assert.Throws<VerificationException>(fun () -> verifier.Verify nonAssembly |> ignore) |> ignore
   
   
       [<Test>]
  
positive.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.assembly e.errorCode
  
      exception CompilationError of assembly:string * errorCode:int * info:ErrorInfo []
      with
          override e.Message = sprintf "Compilation of '%s' failed with code %d (%A)" e.assembly e.errorCode e.info
  
      type PEVerifier () =
  
          static let expectedExitCode = 0
  
          let verifierPath = ToolLocationHelper.GetPathToDotNetFrameworkSdkFile("peverify.exe", TargetDotNetFrameworkVersion.VersionLatest)
  
          static let execute (fileName : string, arguments : string) =
              let psi = new ProcessStartInfo(fileName, arguments)
  
negative.code:             proc.ExitCode, stdOut, stdErr
  
          member __.Verify(assemblyPath : string) =
              let id,stdOut,stdErr = execute(verifierPath, sprintf "%s \"%s\"" switches assemblyPath)
              if id = expectedExitCode && String.IsNullOrWhiteSpace stdErr then ()
              else
                  raise <| VerificationException(assemblyPath, id, stdOut + "\n" + stdErr)
  
  
      type DebugMode =
  