Code

Fuzz test by using properties #28

Code

Merged

0xpanicError merged 7 commits intoBlocSoc-iitr:mainBlocSoc-iitr/HorseRiders:mainfrom amsorrytola:talhaamsorrytola/HorseRiderss:talhaCopy head branch name to clipboardMar 23, 2024

+225-27

Commits

Commits on Mar 9, 2024

• Added Fuzz test for AddZ,SubZ,MulZ,DivZ,CalcR

  

  root

  committed
  f1eb8c0

  Copy full SHA for f1eb8c0

Commits on Mar 10, 2024

• change done for fuzz testing

  

  root

  committed
  45c737a

  Copy full SHA for 45c737a

• added Fuzz tests for ADD_Z, SUB_Z, MUL_Z, DIV_Z, CalR_Z

  

  root

  committed
  fe1ab1b

  Copy full SHA for fe1ab1b

Commits on Mar 11, 2024

• fuzz test for frompolar and Atan1to1

  

  root

  committed
  ea54690

  Copy full SHA for ea54690

Commits on Mar 15, 2024

• code is formatted now (forge fmt implemented)

  

  mohammed-talha-ansari

  committed
  48e4453

  Copy full SHA for 48e4453

Commits on Mar 19, 2024

• Fuzz test by using properties

  

  mohammed-talha-ansari

  committed
  cc9a319

  Copy full SHA for cc9a319

Commits on Mar 23, 2024

• resolved stacktoodeep error in fuzz tests, implemented forge fmt, modified testDivZ and testCalcR

  

  mohammed-talha-ansari

  committed
  59b9710

  Copy full SHA for 59b9710