Inconsistent behavior in WP function unfolding #67
Labels
bug
Something isn't working
good first issue
Good for newcomers
WP
Involves the Weakest Precondition computation
Right now, calling
inlines nothing, since the
wp-inline-funcs
flag is not set and defaults to the empty list.Similarly,
does not inline
foo
since thewp-inline
flag is not set!My feeling is that not specifying a
wp-inline-funcs
inlines everything rather than nothing, and thatwp-inline-funcs
should implywp-inline
.The text was updated successfully, but these errors were encountered: