1. 8
  1.  

  2. 2

    Nice little tool. Anyone interested in this sort of problem might also fruitfully look into quickcheck libraries for their language; or, if they’re using erlang, concuerror. The ability to direct tests against a specific model and the ability to (near-)exhaustively check interleavings against a model are both pretty amazing.

    1. 3

      Thanks!

      I wrote a property-based testing tool for C, too: https://spin.atomicobject.com/2014/09/17/property-based-testing-c/ :)