Searched refs:use_z3_solver (Results 1 – 3 of 3) sorted by relevance
6 def __init__(self, execute_external, use_z3_solver=False): argument8 self.use_z3_solver = use_z3_solver28 if self.use_z3_solver == "1":
11 config.test_format.execute_external, config.use_z3_solver
39 config.use_z3_solver = lit_config.params.get('USE_Z3_SOLVER', "@USE_Z3_SOLVER@")