README.md

Description

This repo contains a port of some of the examples from ScalaCheck: The Definitive Guide to JavaScript / JSVerify.

Progress

Below is a list of examples that I have ported so far:

• Chapter 4
  • Constructing optimal output - run length encoding (pages 45-46)
    • (original example code can be found within here)
• Chapter 5
  • Labelling properties - interleaving (pages 51-52)
    • (original example code can be found within here)
  • Prop.throws (page 59)
    • (original example code can be found within here)
• Chapter 6
  • Higher-order generators (pages 68-70)
    • (original example code can be found within here)
  • Recursive generators (pages 78-82)
    • (original example code can be found within here)
  • Custom test case simplification (pages 82-87)
    • (original example code can be found within here)

Missing Features

JSVerify doesn't appear to have any of the following features (opportunities for pull requests!):

• sized
• resize
• equality operator: =?, ?=
• labelling operator: :|, |:
• and operator: &&
• or operator: ||
• collection of statistics: collect, classify
• constant properties: undecided, falsified, proved, passed, exception
• implication operator: ==>
• listOfN
• frequency

Links

• http://booksites.artima.com/scalacheck
• http://booksites.artima.com/scalacheck/ScalaCheckExamples.zip
• http://jsverify.github.io/
• https://github.com/jsverify/jsverify#documentation