rvirding/erlog — pull request #46 by zkessin (2014-08-31 05:59:15+00:00)
Title: Tests

These are the various tests to validate erlog, they require QuickCheck Mini and SWI Prolog to run.

We check some basic code vs SWI as a reality check, and a bunch of the testing is quickcheck