Searched refs:Z3Config (Results 1 - 1 of 1) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/ | ||
| H A D | Z3Solver.cpp | 24 class Z3Config { class in namespace:__anon3825 30 Z3Config() : Config(Z3_mk_config()) { function in class:__anon3825::Z3Config 39 ~Z3Config() { Z3_del_config(Config); } 40 }; // end class Z3Config 54 Context = Z3_mk_context_rc(Z3Config().Config); |
Completed in 104 milliseconds