Searched refs:Z3CrosscheckOracle (Results 1 – 3 of 3) sorted by relevance
56 class Z3CrosscheckOracle {58 explicit Z3CrosscheckOracle(const AnalyzerOptions &Opts) : Opts(Opts) {} in Z3CrosscheckOracle() function
149 Z3CrosscheckOracle::Z3Decision Z3CrosscheckOracle::interpretQueryResult( in interpretQueryResult()
2890 Z3CrosscheckOracle Z3Oracle(Reporter.getAnalyzerOptions()); in findValidReport()2930 case Z3CrosscheckOracle::RejectReport: in findValidReport()2934 case Z3CrosscheckOracle::RejectEQClass: in findValidReport()2937 case Z3CrosscheckOracle::AcceptReport: in findValidReport()