owi-rs

Rust bindings to the Owi symbolic runtime.

This can be used to generate WebAssembly modules that can be converted to WebAsembly text format and passed to Owi for symbolic verification.

See examples/ for some basic usage examples.

lib.rs:

A crate for generating WebAssembly modules that can be executed using the Owi symbolic runtime