symcc_runtime 0.8.2

Build Concolic Tracing tools based on SymCC in Rust
Documentation