Searched defs:verify_context_ (Results 1 – 2 of 2) sorted by relevance
129 VerifyContext* verify_context_; variable
180 scoped_ptr<ProofVerifyContext> verify_context_; variable