anchor.diff:          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
  -            printfn "Verification failure, stdout: <<<%s>>>" stdOut
  -            printfn "Verification failure, stderr: <<<%s>>>" stdErr
  -            raise <| VerificationException(assemblyPath, id, stdOut + "\n" + stdErr)
  +        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 =
  
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:     static let expectedExitCode = 0
      static let runsOnMono = try System.Type.GetType("Mono.Runtime") <> null with _ -> false
  
      let verifierInfo =
          if runsOnMono then
              Some ("pedump", "--verify all")
          else
              let rec tryFindFile (fileName : string) (dir : DirectoryInfo) =
                  let file = Path.Combine(dir.FullName, fileName)
  