Sat, 16 Mar 2019 15:00:43 +0000 random test failed
Chengsong [Sat, 16 Mar 2019 15:00:43 +0000] rev 6
random test failed on the new simplification function. ("super_blexing_simp")
Sat, 16 Mar 2019 14:14:42 +0000 correctness test with enumeration
Chengsong [Sat, 16 Mar 2019 14:14:42 +0000] rev 5
correctness test with enumeration
(0) -2 +2 +10 +30 +100 tip