Merge pull request #507 from varon/fscheck_testing
authorvaron <varon@users.noreply.github.com>
Thu, 8 Jun 2017 11:29:19 +0000 (13:29 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Jun 2017 11:29:19 +0000 (13:29 +0200)
Property-based testing


Trivial merge