├── .gitignore ├── .travis.yml ├── LICENSE ├── README.md ├── info.rkt ├── quickcheck ├── arbitrary.rkt ├── generator.rkt ├── info.rkt ├── main.rkt ├── private │ ├── arbitrary.rkt │ ├── error.rkt │ ├── generator.rkt │ ├── glue.rkt │ ├── property.rkt │ ├── random.rkt │ ├── result.rkt │ ├── test │ │ ├── doc-coverage.rkt │ │ └── main.rkt │ └── text-input-output.rkt ├── property.rkt ├── raco-quickcheck.rkt ├── result.rkt ├── scribblings │ ├── Makefile │ └── quickcheck.scrbl └── testing.rkt └── rackunit ├── info.rkt └── quickcheck.rkt /.gitignore: -------------------------------------------------------------------------------- 1 | compiled 2 | doc 3 | -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/README.md -------------------------------------------------------------------------------- /info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/info.rkt -------------------------------------------------------------------------------- /quickcheck/arbitrary.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/arbitrary.rkt -------------------------------------------------------------------------------- /quickcheck/generator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/generator.rkt -------------------------------------------------------------------------------- /quickcheck/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/info.rkt -------------------------------------------------------------------------------- /quickcheck/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/main.rkt -------------------------------------------------------------------------------- /quickcheck/private/arbitrary.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/arbitrary.rkt -------------------------------------------------------------------------------- /quickcheck/private/error.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/error.rkt -------------------------------------------------------------------------------- /quickcheck/private/generator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/generator.rkt -------------------------------------------------------------------------------- /quickcheck/private/glue.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/glue.rkt -------------------------------------------------------------------------------- /quickcheck/private/property.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/property.rkt -------------------------------------------------------------------------------- /quickcheck/private/random.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/random.rkt -------------------------------------------------------------------------------- /quickcheck/private/result.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/result.rkt -------------------------------------------------------------------------------- /quickcheck/private/test/doc-coverage.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/test/doc-coverage.rkt -------------------------------------------------------------------------------- /quickcheck/private/test/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/test/main.rkt -------------------------------------------------------------------------------- /quickcheck/private/text-input-output.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/private/text-input-output.rkt -------------------------------------------------------------------------------- /quickcheck/property.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/property.rkt -------------------------------------------------------------------------------- /quickcheck/raco-quickcheck.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/raco-quickcheck.rkt -------------------------------------------------------------------------------- /quickcheck/result.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/result.rkt -------------------------------------------------------------------------------- /quickcheck/scribblings/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/scribblings/Makefile -------------------------------------------------------------------------------- /quickcheck/scribblings/quickcheck.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/scribblings/quickcheck.scrbl -------------------------------------------------------------------------------- /quickcheck/testing.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/quickcheck/testing.rkt -------------------------------------------------------------------------------- /rackunit/info.rkt: -------------------------------------------------------------------------------- 1 | #lang info 2 | 3 | (define name "rackunit") 4 | -------------------------------------------------------------------------------- /rackunit/quickcheck.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ifigueroap/racket-quickcheck/HEAD/rackunit/quickcheck.rkt --------------------------------------------------------------------------------