A property-based testing library
  • Overview
  • Builds
  • Updates
  • Bugs
  • Contents
  • Changelog
  • Sources


SmallCheck is a testing library that allows to verify properties for all test cases up to some depth. The test cases are generated automatically.

Active Releases Overview

Release Latest Released Version Version in Testing
{{html release}} 
{{html stable_version}} {{html testing_version}}

Upstream Summary


karsten's ghc-smallcheck-1.1.1-1.fc22 failed to build (ppc)

Details 2 days ago - 2015-03-02 22:24:52

karsten's ghc-smallcheck-1.1.1-1.fc22 started building (ppc)

Details 2 days ago - 2015-03-02 22:23:10


Koji build ghc-smallcheck-1.1.1-1.fc22.x86_64.rpm signed with sigkey '34ec9cba'

Details 2 days ago - 2015-03-02 16:08:05


Koji build ghc-smallcheck-1.1.1-1.fc22.armv7hl.rpm signed with sigkey '34ec9cba'

Details 2 days ago - 2015-03-02 00:52:21


Koji build ghc-smallcheck-1.1.1-1.fc22.i686.rpm signed with sigkey '34ec9cba'

Details 2 days ago - 2015-03-01 15:31:16

Found a bug? File a ticket. Note: There's some caching going on here. If you expect something and don't see it, check back in 5 minutes.

This Web Site is licensed under the GNU Affero General Public License. You may get sources for the current running code from these repositories: