C++ contract check script keywords
CLASS and SINGLE CLASS
WRAP
REQUIRE
ENSURE
INVARIANT
STATE
TRANSITION ... TO
Related Topics
C++ contract check script (.otc) | C++ contract check script structure