search

lks9 / src-tracer

Other
0 stars 0 forks source link

Retrace & Assertion Check with CBMC #56

Closed lks9 closed 6 months ago

lks9 commented 6 months ago

Retracing worked only with angr. Now we can use CBMC, too.