├── .github └── workflows │ └── push.yml ├── .gitignore ├── README.md ├── examples ├── coin.rkt ├── distance.rkt ├── json.rkt ├── list.rkt ├── ring.rkt └── web-api.rkt ├── rackcheck-lib ├── LICENSE ├── gen │ ├── base.rkt │ ├── core.rkt │ ├── shrink-tree.rkt │ ├── syntax.rkt │ └── unicode.rkt ├── info.rkt ├── main.rkt ├── prop.rkt ├── rackunit.rkt └── shrink-tree.rkt └── rackcheck ├── LICENSE ├── info.rkt └── rackcheck.scrbl /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | compiled 2 | doc 3 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/README.md -------------------------------------------------------------------------------- /examples/coin.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/coin.rkt -------------------------------------------------------------------------------- /examples/distance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/distance.rkt -------------------------------------------------------------------------------- /examples/json.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/json.rkt -------------------------------------------------------------------------------- /examples/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/list.rkt -------------------------------------------------------------------------------- /examples/ring.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/ring.rkt -------------------------------------------------------------------------------- /examples/web-api.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/examples/web-api.rkt -------------------------------------------------------------------------------- /rackcheck-lib/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/LICENSE -------------------------------------------------------------------------------- /rackcheck-lib/gen/base.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/gen/base.rkt -------------------------------------------------------------------------------- /rackcheck-lib/gen/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/gen/core.rkt -------------------------------------------------------------------------------- /rackcheck-lib/gen/shrink-tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/gen/shrink-tree.rkt -------------------------------------------------------------------------------- /rackcheck-lib/gen/syntax.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/gen/syntax.rkt -------------------------------------------------------------------------------- /rackcheck-lib/gen/unicode.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/gen/unicode.rkt -------------------------------------------------------------------------------- /rackcheck-lib/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/info.rkt -------------------------------------------------------------------------------- /rackcheck-lib/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/main.rkt -------------------------------------------------------------------------------- /rackcheck-lib/prop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/prop.rkt -------------------------------------------------------------------------------- /rackcheck-lib/rackunit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/rackunit.rkt -------------------------------------------------------------------------------- /rackcheck-lib/shrink-tree.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck-lib/shrink-tree.rkt -------------------------------------------------------------------------------- /rackcheck/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck/LICENSE -------------------------------------------------------------------------------- /rackcheck/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck/info.rkt -------------------------------------------------------------------------------- /rackcheck/rackcheck.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Bogdanp/rackcheck/HEAD/rackcheck/rackcheck.scrbl --------------------------------------------------------------------------------