7581885d52
* prepare concolic support crates for publishing to crates.io * provide some bare-bones READMEs
4 lines
173 B
Markdown
4 lines
173 B
Markdown
# SymCC Concolic Tracing Runtime Rust Bindings
|
|
This crate allows you to build custom runtimes for SymCC.
|
|
See the [documentation](https://docs.rs/symcc_runtime) for details.
|