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