sustrik / libdill

Structured concurrency in C
MIT License
1.68k stars 156 forks source link

Add a few QuickCheck tests of the channel interface #192

Open mokshasoft opened 5 years ago

mokshasoft commented 5 years ago

I don't know if you are interested in some QuickCheck property tests? I am studying property-based testing using QuickCheck, and I choose libdill as one of my test projects. I have written a few tests for the channel interface based on the tests in tests/chan.c, yet I haven't uncovered any bugs.