Searched refs:interpretQueryResult (Results 1 – 3 of 3) sorted by relevance
83 Z3Decision interpretQueryResult(const Z3CrosscheckVisitor::Z3Result &Meta);
123 Z3CrosscheckOracle::Z3Decision Z3CrosscheckOracle::interpretQueryResult( in interpretQueryResult() function in Z3CrosscheckOracle
2884 switch (Z3Oracle.interpretQueryResult(CrosscheckResult)) { in findValidReport()