llzk::witgen::WitgenOptions Struct Reference

Configure one llzk-witgen execution. More...

#include <WitgenDriver.h>

Public Attributes
Backend	backend = Backend::Interpreter
OutputScope	outputScope = OutputScope::Public
UninitializedBehavior	uninitializedBehavior = UninitializedBehavior::Zero
std::optional< uint64_t >	randomSeed
bool	inlineIncludes = true
bool	dumpJITCore = false
bool	dumpJITLLVM = false

Detailed Description

Configure one llzk-witgen execution.

Definition at line 40 of file WitgenDriver.h.

Member Data Documentation

backend

Backend llzk::witgen::WitgenOptions::backend = Backend::Interpreter

Definition at line 41 of file WitgenDriver.h.

dumpJITCore

bool llzk::witgen::WitgenOptions::dumpJITCore = false

Definition at line 46 of file WitgenDriver.h.

dumpJITLLVM

bool llzk::witgen::WitgenOptions::dumpJITLLVM = false

Definition at line 47 of file WitgenDriver.h.

inlineIncludes

bool llzk::witgen::WitgenOptions::inlineIncludes = true

Definition at line 45 of file WitgenDriver.h.

outputScope

OutputScope llzk::witgen::WitgenOptions::outputScope = OutputScope::Public

Definition at line 42 of file WitgenDriver.h.

randomSeed

std::optional<uint64_t> llzk::witgen::WitgenOptions::randomSeed

Definition at line 44 of file WitgenDriver.h.

uninitializedBehavior

UninitializedBehavior llzk::witgen::WitgenOptions::uninitializedBehavior = UninitializedBehavior::Zero

Definition at line 43 of file WitgenDriver.h.

---

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

• tools/llzk-witgen/WitgenDriver.h