QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

machinery for running QuickCheck #505

Closed
zxq9 wants to merge 2 commits from quickcheck-ci into master
pull from: quickcheck-ci
merge into: QPQ-AG:master
Conversation 0 Commits 2 Files Changed 5 +181

2 Commits

Author SHA1 Message Date
Thomas Arts
be9935cd7e
Merge branch 'master' into quickcheck-ci 2019-02-11 13:11:46 +01:00
Thomas Arts
aa2e6aa218 machinery for running QuickCheck 
No script needed if we make sure extra_src_dirs has different name than "eqc"

Obsolete QuickCheck property
 2019-01-24 09:11:26 +01:00