Searched refs:use_z3_solver (Results 1 – 3 of 3) sorted by relevance
7 def __init__(self, execute_external, use_z3_solver=False): argument9 self.use_z3_solver = use_z3_solver26 if self.use_z3_solver == '1':
10 config.test_format.execute_external, config.use_z3_solver)
36 config.use_z3_solver = lit_config.params.get('USE_Z3_SOLVER', "@USE_Z3_SOLVER@")