Assertion: smack | /r/MadeOf | experimental support
Facets:
value: for unbounded verification
type: PURPOSE
Source sentences:
text: In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support for unbounded verification as well.