temper/1 record check failure

[jj1bdx]

A CutEr test reveals the following record member check failure for tinymt32:temper/1. The first one is intentional but the second one is unchecked.

~/src/cuter/cuter tinymt32 temper '[{intstate, 1,2,3,4,5,6,7}]' -pa ebin -d 40
Testing tinymt32:temper/1 ...
tinymt32:temper({intstate,1,2,3,4,5,6,7})
x.
tinymt32:temper({intstate32,undefined,0,38,7719,1236,undefined,2437})
x
=== Inputs That Lead to Runtime Errors ===
#1 tinymt32:temper({intstate,1,2,3,4,5,6,7})
#2 tinymt32:temper({intstate32,undefined,0,38,7719,1236,undefined,2437})