Add property testing for Felt bit shifts#701

Merged

martinacantaro merged 11 commits intomainfrom add-bit-shift-proptests-for-felt

Jan 12, 2023

+31-7

Commits on Jan 9, 2023

add property testing for left bit shift
Martina
committed
decrease the size of the right-hand operator
Martina
committed
add property based testing for right bit shift
Martina
committed
reduced the size of the shift amount
Martina
committed

Commits on Jan 10, 2023

added comments describing each test
Martina
committed
improved one of the comments
Martina
committed
added a space
Martina
committed

Commits on Jan 11, 2023

Merge branch 'main' into add-bit-shift-proptests-for-felt
Jrigada
authored

Commits on Jan 12, 2023