anchor.diff:      let fscorlib = typeof<int option>.Assembly
       verifier.Verify fscorlib.Location
   
  -    let nonAssembly = Path.Combine(Directory.GetCurrentDirectory(), typeof<PEVerifier>.Assembly.GetName().Name + pdbExtension)
  +    let nonAssembly = Path.Combine(Directory.GetCurrentDirectory(), typeof<PEVerifier>.Assembly.GetName().Name + ".pdb")
       Assert.Throws<VerificationException>(fun () -> verifier.Verify nonAssembly |> ignore) |> ignore
   
   
  
positive.code:     let tmp = Path.GetTempPath()
      let sourceFile = Path.Combine(tmp, assemblyName + ".fs")
      let outFile = Path.Combine(tmp, assemblyName + if isDll then ".dll" else ".exe")
      let pdbFile = Path.Combine(tmp, assemblyName + pdbExtension)
      do File.WriteAllText(sourceFile, code)
      let args =
          [|
  
negative.code:    with override e.Message = sprintf "Compilation of '%s' failed with code %d (%A)" e.Data0 e.Data1 e.Data2
  
  let runningOnMono = try System.Type.GetType("Mono.Runtime") <> null with e->  false        
  let pdbExtension isDll = (if runningOnMono then (if isDll then ".dll.mdb" else ".exe.mdb") else ".pdb")
  
  type PEVerifier () =
  
  