search

BlocSoc-iitr / HorseRiders

A complex math and Fast Fourier Transform Library for Huff and EVM Assembly
MIT License
8 stars 9 forks source link

Fuzz test by using properties #28

Closed amsorrytola closed 5 months ago

amsorrytola commented 6 months ago

used fundamental properties to test addz,subz,mulz for example in addition is associative,commutiative.

amsorrytola commented 6 months ago

For Addz functions tests if it's commutative,associative and if there exists a additive inverse and additive identity

For subz It should be non commutative, non associative

For mulz It should be Non commutative, associative, distributive and multiplicative inverse should exist