Crate orca

Modules

error 🔒

generate 🔒

kani 🔒

model 🔒

models 🔒

opt 🔒

populate 🔒

profile 🔒

run 🔒

state 🔒

stats 🔒

Statics

GLOBAL 🔒

Functions

build_tokio_runtime 🔒

Build the tokio runtime with the configured number of threads. If set to None, then the maximum of the system is used.

main 🔒