anchor.diff:      let fscorlib = typeof<int option>.Assembly
       verifier.Verify fscorlib.Location
   
  -    let nonAssembly = Path.Combine(Directory.GetCurrentDirectory(), typeof<PEVerifier>.Assembly.GetName().Name + ".pdb")
  +    let nonAssembly = Path.Combine(Directory.GetCurrentDirectory(), typeof<PEVerifier>.Assembly.GetName().Name + pdbExtension)
       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 + ".pdb")
      do File.WriteAllText(sourceFile, code)
      let args =
          [|
  
negative.code:     type Foo = class end
  
      exception E of int * string
  
      printfn "done!" // make the code have some initialization effect
  """
  
      compileAndVerify true PdbOnly "Foo" code [] |> ignore
  