GAP Package quickcheck

The QuickCheck package provides property-based testing for GAP. It lets users easily test that a function always passes (or two functions return the same value) on many randomly generated inputs. The package can generate many types of GAP objects. Small inputs are tried first, so the first counterexample found is usually small.

The current version of this package is version 1.1.0, released on 2026-10-01. For more information, please refer to the package manual. There is also a README file.

License: MPL-2.0

Dependencies

This package requires GAP version >= 4.13

Author

Christopher Jefferson.

Citing

Please, cite this package as

[Jef26] Jefferson, C., quickcheck, Randomised Testing for GAP Functions, Version 1.1.0 (2026)
(GAP package), https://gap-packages.github.io/quickcheck.

You can get more info by typing Cite("quickcheck"); in the gap prompt.

Feedback

For bug reports, feature requests and suggestions, please use the issue tracker.