Hacker News new | comments | ask | show | jobs | submit login
QuickCheck by example: Number theory and Okasaki's red-black trees (might.net)
83 points by lelf on Aug 20, 2014 | hide | past | web | favorite | 2 comments

Have used open-sourced QuickCheck equivalent for Erlang, called PropEr. Great exercise in abstract thinking. Although testing stateful machines in scenarios where time matters turned out to be very hard.

Time is fun. You have to essentially mock it. Write a system in which you can control how time advances and then define your postconditions in the stateful system such that time is not violated. I have an approach here, taken for the 'fuse' project in Erlang (Using the commercial version of Quviq QuickCheck):


Applications are open for YC Summer 2019

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact