* prepare concolic support crates for publishing to crates.io

* provide some bare-bones READMEs

2021-08-06 17:49:57 +02:00

SymCC Concolic Tracing Runtime Rust Bindings

This crate allows you to build custom runtimes for SymCC. See the documentation for details.