Module range_check

Source
Expand description

Range check table

Constants§

RANGE_CHECK_UPPERBOUND
The range check will be performed on 12-bit values, i.e. those in [0, 2^12)
TABLE_SIZE

Functions§

range_check_table
A single-column table containing the numbers from 0 to RANGE_CHECK_UPPERBOUND (exclusive)