Add property-based testing#81

Open

lihaohong6 wants to merge 8 commits into

cmuparlay:masterfrom

lihaohong6:tests

Commits on Dec 4, 2024

Add property-based testing framework rapidcheck and a few tests written with it
lihaohong6
committed

Commits on Dec 5, 2024

Add more property-based tests for primitives
lihaohong6
committed

Commits on Dec 16, 2024

More tests for primitives
lihaohong6
committed

Commits on Jan 23, 2025

Expand README on rapidcheck
lihaohong6
committed

Commits on Jan 31, 2025

Commits on Feb 3, 2025