Goto Chapter: Top 1 2 3 Ind

[Top of Book] [Contents] [Next Chapter]

quickcheck

Randomised Testing for GAP Functions

1.0.1

17 June 2025

Christopher Jefferson
Email: caj21@st-andrews.ac.uk
Homepage: https://heather.cafe/
Address:
Jack Cole Building, North Haugh, St Andrews, Fife, KY16 9SX, Scotland

Contents

2.1 Using QuickCheck

2.2 Valid argument types for QuickCheck

2.3 Adding new types to QuickCheck

3 Functionality

  3.1-1 QC_MakeRandomArgument
  3.1-2 QC_Check
  3.1-3 QC_CheckEqual
  3.1-4 QC_LastFailure
  3.1-5 QC_RerunLastFailure
  3.1-6 QC_SetConfig
  3.1-7 QC_GetConfig

[Top of Book] [Contents] [Next Chapter]

Goto Chapter: Top 1 2 3 Ind

generated by GAPDoc2HTML