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

#include <llm_client.h>

Public Attributes

backendt backend = backendt::stub
std::string model
std::string endpoint
std::string api_key
double temperature = 0.7
unsigned max_tokens = 1024
unsigned timeout_ms = 30000
std::string executable
std::vector< std::string > extra_args

Member Data Documentation

◆ api_key

std::string llm::configt::api_key

◆ backend

backendt llm::configt::backend = backendt::stub

◆ endpoint

std::string llm::configt::endpoint

◆ executable

std::string llm::configt::executable

◆ extra_args

std::vector<std::string> llm::configt::extra_args

◆ max_tokens

unsigned llm::configt::max_tokens = 1024

◆ model

std::string llm::configt::model

◆ temperature

double llm::configt::temperature = 0.7

◆ timeout_ms

unsigned llm::configt::timeout_ms = 30000

The documentation for this struct was generated from the following file: