anchor.diff:      static let expectedExitCode = 0
       static let runsOnMono = try System.Type.GetType("Mono.Runtime") <> null with _ -> false
   
  -    let verifierPath, switches =
  +    let verifierInfo =
           if runsOnMono then
  -            "pedump", "--verify all"
  +            Some ("pedump", "--verify all")
           else
               let rec tryFindFile (fileName : string) (dir : DirectoryInfo) =
                   let file = Path.Combine(dir.FullName, fileName)
  
positive.code:                 else
                      dir.GetDirectories() 
                      |> Array.sortBy(fun d -> d.Name)
                      |> Array.rev // order by descending -- get latest version
                      |> Array.tryPick (tryFindFile fileName)
  
  
negative.code:         proc.ExitCode, stdOut, stdErr
  
      member __.Verify(assemblyPath : string) =
          match verifierInfo with
          | Some (verifierPath, switches) -> 
              let id,stdOut,stdErr = execute(verifierPath, sprintf "%s \"%s\"" switches assemblyPath)
              if id = expectedExitCode && String.IsNullOrWhiteSpace stdErr then ()
              else
                  printfn "Verification failure, stdout: <<<%s>>>" stdOut
                  printfn "Verification failure, stderr: <<<%s>>>" stdErr
                  raise <| VerificationException(assemblyPath, id, stdOut + "\n" + stdErr)
          | None -> 
             printfn "Skipping verification part of test because verifier not found"
              
  
  
  type DebugMode =
  