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.

Most recently built projects
Project Status Date Runtime