|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <memory>#include <string>#include <vector>Go to the source code of this file.
Classes | |
| struct | llm::configt |
| class | llm::clientt |
| Abstract LLM client. More... | |
Namespaces | |
| namespace | llm |
Enumerations | |
| enum class | llm::backendt { llm::stub , llm::cli } |
Functions | |
| std::unique_ptr< clientt > | llm::make_client (configt config) |