ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
llm Namespace Reference

Classes

class  cli_clientt
 LLM client that invokes an external CLI tool. More...
struct  message_t
struct  configt
class  clientt
 Abstract LLM client. More...

Enumerations

enum class  backendt { stub , cli }

Functions

std::unique_ptr< clientt > make_client (configt config)

Enumeration Type Documentation

◆ backendt

enum class llm::backendt
strong
Enumerator
stub 
cli 

Function Documentation

◆ make_client()

std::unique_ptr< clientt > llm::make_client ( configt config)