Crate owi

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

Macros

main

main! is used to setup the _start function and, when compiling for wasm32-unknown-unknown it also sets up the panic handler.

Functions

assert

Add an assertion to the verifier

assume

Add an assumption to the verifier

f32

Create an f32 symbolic value

f64

Create an f64 symbolic value

i8

Create an i8 symbolic value

i32

Create an i32 symbolic value

i64

Create an i64 symbolc value

u8

Create a u8 symbolic value

u32

Create a u32 symbolic value

u64

Create a u64 symbolic value