It might be nice to add two of the settings that are currently env/TOML only. - "check overflows" - same effect as `PRUSTI_CHECK_OVERFLOWS=true` (on by default) - "check panics" - same effect as `PRUSTI_CHECK_PANICS=true` (on by default)
It might be nice to add two of the settings that are currently env/TOML only.
PRUSTI_CHECK_OVERFLOWS=true(on by default)PRUSTI_CHECK_PANICS=true(on by default)