Quelle  ROOT

chapter AFP

session SpecCheck = "Pure" +
  description
    ‹SpecCheck is a specification-based testing environment for ML programs. It is based on QCheck
 (🪙‹https://github.com/league/qcheck/›) by Christopher League (🪙‹https://contrapunctus.net/›).
 It got adapted and extended to fit into the Isabelle/ML framework and resemble the very
 successful QuickCheck (🪙‹https://en.wikipedia.org/wiki/QuickCheck›) more closely.›
  options [timeout = 300]

  directories
    Dynamic
    Examples
    Generators
    Output_Styles
    Show
    Shrink

  theories
    SpecCheck_Generators
    SpecCheck_Output_Style
    SpecCheck_Show
    SpecCheck_Shrink
    SpecCheck
    SpecCheck_Dynamic
  theories [document = false]
    SpecCheck_Examples
    
  document_files
    "root.tex"