julihoh 948c94d695
Update and fix concolic support (#901)
* fix incorrect assert condition and document it

* update symcc

* adapt to changes in symcc API

* more fixes

* fix formatting

* more fixes

* speed up smoke test by building multiple crates in one command

* update symcc commit to latest main
2022-11-19 23:05:15 +01:00
..
2022-03-29 14:57:38 +02:00

This is a support crate for symcc_runtime. It defines a stable URL and commit hash for the LibAFL fork of SymCC. It also provides convenient methods to clone and build SymCC to be used in build scripts in LibAFL-based fuzzers.

Documentation