Tests: failing-assert1
Depends: cbmc, libc6-dev
