uclid-org/uclid

TODO: change inlining semantics

polgreen opened this issue · 1 comments

inline/noinline is currently overridden if a requires statement is/isnot provided. Plan is to change this to make inline/noinline directives always be obeyed but print a warning if a requires statement is not provided and noinline is specified

closed by #50