cargo-owi
| Crates.io | cargo-owi |
| lib.rs | cargo-owi |
| version | 0.1.0 |
| created_at | 2026-01-16 14:55:11.059204+00 |
| updated_at | 2026-01-16 14:55:11.059204+00 |
| description | Cargo wrapper for the owi bug finding tool |
| homepage | https://ocamlpro.github.io/owi/ |
| repository | https://github.com/OCamlPro/owi |
| max_upload_size | |
| id | 2048723 |
| size | 13,092 |
Arthur Carcano (krtab)
documentation
README
A cargo wrapper to run program using owi's symbolic api.