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

..

filter

Clippy for Cargo (#532)

2022-02-11 14:34:01 +01:00

filter.rs

Update and fix concolic support (#901)

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

lib.rs

add ability to trace location information in concolic tracer (#322)

2021-10-11 13:31:16 +02:00

tracing.rs

Update and fix concolic support (#901)

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