|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
LLM client that invokes an external CLI tool. More...
#include <cli_llm_client.h>
Public Member Functions | |
| cli_clientt (configt config) | |
| std::string | complete (const std::vector< message_t > &messages) override |
| Public Member Functions inherited from llm::clientt | |
| virtual | ~clientt ()=default |
| const configt & | config () const noexcept |
Additional Inherited Members | |
| Protected Member Functions inherited from llm::clientt | |
| clientt (configt config) | |
| Protected Attributes inherited from llm::clientt | |
| configt | cfg |
LLM client that invokes an external CLI tool.
The tool is started as a child process for every completion request. The full conversation is written to its stdin; the tool's stdout is returned as the assistant response.
|
explicit |
|
overridevirtual |
Implements llm::clientt.