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

..

symcc_libafl

Update and fix concolic support (#901)

2022-11-19 23:05:15 +01:00

symcc_runtime

Update and fix concolic support (#901)

2022-11-19 23:05:15 +01:00

test

Update and fix concolic support (#901)

2022-11-19 23:05:15 +01:00