diff options
| author | John Hawthorn <john.hawthorn@gmail.com> | 2017-04-03 19:03:47 -0700 |
|---|---|---|
| committer | John Hawthorn <john.hawthorn@gmail.com> | 2017-04-03 19:30:07 -0700 |
| commit | a47b34dc0797af82947e4608f5b8690aff62ec60 (patch) | |
| tree | f6594aada4b417cd7934a5d97ceaa51fd9fa3bd7 /test/fzytest.c | |
| parent | dfe82eb18d19f7cde3c0f0099718af06c94c314c (diff) | |
Add property based testing using thief
Diffstat (limited to 'test/fzytest.c')
| -rw-r--r-- | test/fzytest.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/fzytest.c b/test/fzytest.c index 7cdbdae..01bcacf 100644 --- a/test/fzytest.c +++ b/test/fzytest.c @@ -321,6 +321,8 @@ TEST test_choices_large_input() { PASS(); } +SUITE(properties); + GREATEST_MAIN_DEFS(); int main(int argc, char *argv[]) { @@ -345,5 +347,7 @@ int main(int argc, char *argv[]) { RUN_TEST(test_choices_unicode); RUN_TEST(test_choices_large_input); + RUN_SUITE(properties); + GREATEST_MAIN_END(); } |