Welcome to QuickCheck CI!

QuickCheck CI is a continuous integration server that runs QuviQ QuickCheck on a project. QuickCheck is a tool for automatically generating test cases from specified properties of the software under test.

Open Source Developers can use QuickCheck CI to get free access to QuviQ QuickCheck for their quality assurance. There are many open source projects created by people that have a commercial copy of QuickCheck; they can now easily share their QuickCheck properties. QuickCheck CI runs the full version of QuickCheck, including the connection to C. Thus, even open source projects written in C can be tested with QuickCheck CI.

This is a BETA version. We will soon add the possibility to buy additional services, such as priority queues for projects, saving coverage data for historic builds, running private repositories, extending the total time a build and test can take, etc.




Most recently built projects
Project Status Date Runtime