verification/cbmc/config.h (
1
lines of code) (
raw
):