Inlining Specifications

cpp.spec supports inlining of function bodies into their call sites but only in the verification logic, and not in C++.

Contents

• inline.hpp
• inline_hpp_spec.v