Skip to content

Commit

Permalink
Property-based tests for the sets module
Browse files Browse the repository at this point in the history
Co-authored-by: Jan Uhlig <[email protected]>
  • Loading branch information
Maria-12648430 and juhlig committed Jun 19, 2023
1 parent 17be5dc commit c2a6d1c
Show file tree
Hide file tree
Showing 3 changed files with 741 additions and 0 deletions.
1 change: 1 addition & 0 deletions lib/stdlib/test/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -71,6 +71,7 @@ MODULES= \
re_testoutput1_split_test \
slave_SUITE \
sets_SUITE \
sets_property_test_SUITE \
sets_test_lib \
sofs_SUITE \
stdlib_SUITE \
Expand Down
Loading

0 comments on commit c2a6d1c

Please sign in to comment.