https://github.com/jmitchell/developers-intuition.hs

QuickCheck property-based testing demo based on John Hughes' talk
https://github.com/jmitchell/developers-intuition.hs

Last synced: about 1 month ago
JSON representation

QuickCheck property-based testing demo based on John Hughes' talk

• Host: GitHub
• URL: https://github.com/jmitchell/developers-intuition.hs
• Owner: jmitchell
• License: bsd-3-clause
• Created: 2019-03-11T23:34:06.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-11T23:53:19.000Z (almost 6 years ago)
• Last Synced: 2023-04-07T21:37:31.596Z (over 1 year ago)
• Language: Haskell
• Size: 7.81 KB
• Stars: 3
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Building on developers' intuitions to create effective property-based tests

QuickCheck demo code from a [talk](https://youtu.be/NcJOiQlzlXQ) by

John Hughes.

## Usage

If you're a [Nix](https://nixos.org/nix/) user start by running

`nix-shell`.

Everyone:

```

$ cabal new-configure && cabal new-build && cabal new-test && echo $?

$ cabal new-repl test:tests

> :load Main

> main

> :m Test.QuickCheck

> :load Coin

> quickCheck Coin.prop_Add''

+++ OK, passed 100 tests:

52% normal

48% overflow

```

See [./tests](./tests) for more property-based tests. Comments help

explain the incremental refinements.