Property check against table check
Two kinds of check
Table check
does each row you wrote match?
a list of facts: covers the rows you wrote
covers only its own rows: the rest are never looked at
Property check
every odd index above 1: exactly 0?
a statement about a whole class of inputs
float routine returns
B3 = -1.1102230246251565e-16
0
not to scale
✗ not exactly 0: property check fails
absolute tolerance: called zero, pass