packageAssert

Extends from Icons.TestPackage.

Information

This package contains tests for the assert-equation defined in section 8.3.7 of the specification.

Contents

NameDescription
AssertDiffLevel
AssertError
AssertFalse
AssertFalseExp
AssertNoEval
AssertNonBoolCond
AssertNonStringMsg
AssertTrue
AssertTrueExp
AssertVarLevel
AssertWarning