|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Classes | |
| class | cli_clientt |
| LLM client that invokes an external CLI tool. More... | |
| struct | configt |
| class | clientt |
| Abstract LLM client. More... | |
Enumerations | |
| enum class | backendt { stub , cli } |
Functions | |
| std::unique_ptr< clientt > | make_client (configt config) |
|
strong |