def test_unsat_query(self):
solver = ProcessSolver(STPParser(), "STP", common.STP_PATH, ["--SMTLIB2", "-p"])
uniq_query = team_solver.interfaces.interfaces.UniqueQuery(123, common.UNSAT_QUERY_SMT)
solver_result = solver.solve(uniq_query)
assert solver_result is not None
assert not solver_result.is_sat
def test_sat_query(self):
solver = ProcessSolver(STPParser(), "STP", common.STP_PATH, ["--SMTLIB2", "-p"])
uniq_query = team_solver.interfaces.interfaces.UniqueQuery(123, common.SAT_QUERY_SMT)
solver_result = solver.solve(uniq_query)
assert solver_result.is_sat
common.assert_sat_assignments(solver_result.assignment, common.SAT_QUERY_ASSIGNMENT_SMT)