diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
43 stars 22 forks source link

Automatically set --inline and --sympath when --heap* is set #140

Closed viktormalik closed 4 years ago

viktormalik commented 4 years ago

We always use --sympath and --inline with all heap options so it can be run implicitly to improve user experience.