  
  
                                  [1X quickcheck [101X
  
  
                     [1X Randomised Testing for [5XGAP[105X Functions [101X
  
  
                                     1.1.0
  
  
                                 1 October 2026
  
  
                             Christopher Jefferson
  
  
  
  Christopher Jefferson
      Email:    [7Xmailto:caj21@st-andrews.ac.uk[107X
      Homepage: [7Xhttps://heather.cafe/[107X
      Address:  [33X[0;14YJack  Cole  Building, North Haugh, St Andrews, Fife, KY16 9SX,
                Scotland[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (quickcheck)[101X
  
  1 [33X[0;0YIntroduction[133X
  2 [33X[0;0YTutorial[133X
    2.1 [33X[0;0YUsing QuickCheck[133X
    2.2 [33X[0;0YValid argument types for QuickCheck[133X
    2.3 [33X[0;0YAdding new types to QuickCheck[133X
  3 [33X[0;0YFunctionality[133X
    3.1 [33X[0;0YMethods[133X
      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
      3.1-8 QC_Skip
      3.1-9 QC_RegisterFilterGen
    3.2 [33X[0;0YArgument descriptions[133X
      3.2-1 QC_ListOf
      3.2-2 QC_FixedLengthListOf
      3.2-3 QC_PairOf
      3.2-4 QC_SetOf
      3.2-5 QC_ElementOf
  
  
  [32X
