verification/cbmc/proofs/lib/__init__.py (
1
lines of code) (
raw
):