Searched refs:VerifierKind (Results 1 – 3 of 3) sorted by relevance
46 enum VerifierKind { enum76 opt_tool::VerifierKind VK,
292 OutputKind OK, VerifierKind VK, in runPassPipeline()
773 VerifierKind VK = VK_VerifyInAndOut; in main()