This repository aims to gather a large number of difficult problems for property based testing tools to find counterexamples to.
maximilianalgehed / hppbtt Goto Github PK
View Code? Open in Web Editor NEWHard Problems for Property Based Testing Tools
License: BSD 3-Clause "New" or "Revised" License