Random generation of UExps#1337

Draft

ruiz-m wants to merge 16 commits intodevfrom haz3l-properties2

+638-10

Commits on Mar 9, 2024

Bisect ppx working
ruiz-m
committed

Commits on Mar 18, 2024

Boolean expressions
ruiz-m
committed

Commits on Mar 21, 2024

Merge with haz3l-properties
ruiz-m
committed

Commits on Apr 8, 2024

Added new features
ruiz-m
committed

Commits on Apr 12, 2024

Merge remote-tracking branch 'origin/haz3l-properties' into haz3l-properties2
ruiz-m
committed

Commits on Apr 13, 2024

Added more features
ruiz-m
committed

Commits on Apr 22, 2024

First property-based test
ruiz-m
committed

Commits on Apr 26, 2024

Added pure random testing
ruiz-m
committed

Commits on Apr 29, 2024

Adjusted the number of tests to be run
ruiz-m
committed

Commits on Jul 25, 2024

Added comments
ruiz-m
committed

Commits on Aug 1, 2024

Merge conflicts
ruiz-m
committed

Commits on Aug 3, 2024

Shows the failing uexp when a test fails
ruiz-m
committed