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 🔒