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