[<<][rtl][>>][..]
Sat Aug 18 09:53:45 EDT 2018

Failing tests


-- p_deser
*** Failed! Falsifiable (after 2 tests): 
(7,(3,[1]))
(6,(13,[8191]))

-- p_soc_fun
*** Failed! Falsifiable (after 2 tests): 
(255,255)
(253,254)

EDIT: p_soc_fun was due to bus size set to 4.  The other still fails:

-- p_deser
*** Failed! Falsifiable (after 2 tests): 
(4,(9,[0]))

It doesn't seem to work at all.
Ha. cs==1.

Still a failing case:
(4,(10,[0,1023,1018,0,5,4]))




[Reply][About]
[<<][rtl][>>][..]