search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
62 stars 15 forks source link

Check that `box_free` is still used #230

Open Nadrieril opened 3 weeks ago

Nadrieril commented 3 weeks ago

We detect calls to alloc::alloc::box_free in our passes, but afaict this function doesn't exist anymore. We should check whether it still shows up.