Documentation
¶
Index ¶
- func RunKonaNative(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, ...) bool
- func RunKonaSP1SuperRange(t require.TestingT, logger log.Logger, executorPath string, dir string, ...) bool
- func RunKonaSuperNative(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, ...) bool
- type Spec
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func RunKonaNative ¶ added in v1.18.0
func RunKonaNative(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, inputs *utils.LocalGameInputs) bool
RunKonaNative runs kona-host in --native mode. Returns false if kona disagrees and true otherwise.
func RunKonaSP1SuperRange ¶ added in v1.19.5
func RunKonaSP1SuperRange(t require.TestingT, logger log.Logger, executorPath string, dir string, args ...string) bool
RunKonaSP1SuperRange runs the kona-sp1 super-range executor. Returns false if the guest rejects the synthesized super-range claim and true otherwise.
func RunKonaSuperNative ¶ added in v1.19.6
func RunKonaSuperNative(t require.TestingT, logger log.Logger, vmConfig *vm.Config, dir string, inputs *utils.LocalGameInputs) bool
RunKonaSuperNative runs kona-host in `super --native` mode, i.e. the interop client program over a super-root state transition. Returns false if kona disagrees and true otherwise.
Types ¶
type Spec ¶
type Spec struct {
SrcDir string // directory name relative to monorepo root, e.g. "rust/kona"
Package string // cargo package name, e.g. "kona-node"
Binary string // binary name, e.g. "kona-node"
}
Spec describes a Rust binary to be built and located.
func (Spec) EnsureExists ¶
EnsureExists locates or builds a Rust binary as needed.
Env var overrides (suffix derived from binary name, e.g. "kona-node" -> "KONA_NODE"):
- RUST_BINARY_PATH_<BINARY>: absolute path to pre-built binary (skips build, must exist)
- RUST_SRC_DIR_<BINARY>: overrides SrcDir (absolute path to cargo project root)
Build behavior:
- RUST_JIT_BUILD=1: runs cargo build in debug mode (letting cargo handle rebuild detection)
- Otherwise: only checks binary exists, errors if missing
Source Files
Click to show internal directories.
Click to hide internal directories.