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