owi 0.1.0

Bindings to the Owi symbolic runtime
Documentation
  • Coverage
  • 85.71%
    12 out of 14 items documented0 out of 11 items with examples
  • Size
  • Source code size: 6.08 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 763.02 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Links
  • dylibso/owi-rs
    2 1 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • krtab dylibso-bot redianthus

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.