prusti-assistant icon indicating copy to clipboard operation
prusti-assistant copied to clipboard
verified publisher icon viperproject

Allow configuring verification mode

Open Aurel300 opened this issue 5 years ago • 0 comments

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)

Aurel300 avatar Oct 29 '20 16:10 Aurel300