Increase test cases
Created by noiioiu on April 21, 2024
BKOAQCTL55P6HCIDOLA3WKRDJPPZTFDFROKMKRCLXT7ANA3JG4NQC Dependencies
In channels
main
Change contents
Insertion in test/Main.hs at line 62 [3.22]
--prop_def_add :: Small Int -> Small Int -> Bool--prop_def_add Small {getSmall = a} Small {getSmall = b} = abs a `nimberAdd` abs b == fromIntegral (getNimber $ fromIntegral a + fromIntegral b)--prop_def_mul :: Small Int -> Small Int -> Bool--prop_def_mul Small {getSmall = a} Small {getSmall = b} = abs a `nimberMul` abs b == fromIntegral (getNimber $ fromIntegral a * fromIntegral b)Replacement in test/Main.hs at line 71 [3.22]