├── .github └── workflows │ ├── check.yml │ └── publish.yml ├── .gitignore ├── LICENSE ├── README.md ├── moon.mod.json ├── rm_deps.js └── src ├── axiom.mbt ├── config.mbt ├── driver.mbt ├── falsify ├── driver.mbt ├── gen.mbt ├── moon.pkg.json ├── pkg.generated.mbti ├── property.mbt ├── sample.mbt ├── selective.mbt ├── shrinking.mbt └── utils.mbt ├── feat ├── enumerable.mbt ├── enumerate.mbt ├── finite.mbt ├── moon.pkg.json ├── pkg.generated.mbti └── utils.mbt ├── gen.mbt ├── internal_benchmark ├── bm-curry-forall-tuple.mbt ├── feat.mbt ├── moon.pkg.json └── pkg.generated.mbti ├── internal_shrinking ├── moon.pkg.json ├── pkg.generated.mbti └── shrink_tree.mbt ├── invariant.mbt ├── lazy ├── lazy.mbt ├── lazy_list.mbt ├── moon.pkg.json └── pkg.generated.mbti ├── moon.pkg.json ├── pkg.generated.mbti ├── result.mbt ├── rose ├── moon.pkg.json ├── pkg.generated.mbti └── rose.mbt ├── shrink.mbt ├── state.mbt ├── testable.mbt ├── testing ├── axiom.mbt ├── driver.mbt ├── gen.mbt ├── moon.pkg.json └── pkg.generated.mbti └── utils ├── common.mbt ├── moon.pkg.json └── pkg.generated.mbti /.github/workflows/check.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/.github/workflows/check.yml -------------------------------------------------------------------------------- /.github/workflows/publish.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/.github/workflows/publish.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | .mooncakes/ 3 | lib/feat.mbt 4 | trace.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/README.md -------------------------------------------------------------------------------- /moon.mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/moon.mod.json -------------------------------------------------------------------------------- /rm_deps.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/rm_deps.js -------------------------------------------------------------------------------- /src/axiom.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/axiom.mbt -------------------------------------------------------------------------------- /src/config.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/config.mbt -------------------------------------------------------------------------------- /src/driver.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/driver.mbt -------------------------------------------------------------------------------- /src/falsify/driver.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/driver.mbt -------------------------------------------------------------------------------- /src/falsify/gen.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/gen.mbt -------------------------------------------------------------------------------- /src/falsify/moon.pkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/moon.pkg.json -------------------------------------------------------------------------------- /src/falsify/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/pkg.generated.mbti -------------------------------------------------------------------------------- /src/falsify/property.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/property.mbt -------------------------------------------------------------------------------- /src/falsify/sample.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/sample.mbt -------------------------------------------------------------------------------- /src/falsify/selective.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/selective.mbt -------------------------------------------------------------------------------- /src/falsify/shrinking.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/shrinking.mbt -------------------------------------------------------------------------------- /src/falsify/utils.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/falsify/utils.mbt -------------------------------------------------------------------------------- /src/feat/enumerable.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/enumerable.mbt -------------------------------------------------------------------------------- /src/feat/enumerate.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/enumerate.mbt -------------------------------------------------------------------------------- /src/feat/finite.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/finite.mbt -------------------------------------------------------------------------------- /src/feat/moon.pkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/moon.pkg.json -------------------------------------------------------------------------------- /src/feat/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/pkg.generated.mbti -------------------------------------------------------------------------------- /src/feat/utils.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/feat/utils.mbt -------------------------------------------------------------------------------- /src/gen.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/gen.mbt -------------------------------------------------------------------------------- /src/internal_benchmark/bm-curry-forall-tuple.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_benchmark/bm-curry-forall-tuple.mbt -------------------------------------------------------------------------------- /src/internal_benchmark/feat.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_benchmark/feat.mbt -------------------------------------------------------------------------------- /src/internal_benchmark/moon.pkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_benchmark/moon.pkg.json -------------------------------------------------------------------------------- /src/internal_benchmark/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_benchmark/pkg.generated.mbti -------------------------------------------------------------------------------- /src/internal_shrinking/moon.pkg.json: -------------------------------------------------------------------------------- 1 | { 2 | "import": ["moonbitlang/quickcheck/lazy"] 3 | } 4 | -------------------------------------------------------------------------------- /src/internal_shrinking/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_shrinking/pkg.generated.mbti -------------------------------------------------------------------------------- /src/internal_shrinking/shrink_tree.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/internal_shrinking/shrink_tree.mbt -------------------------------------------------------------------------------- /src/invariant.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/invariant.mbt -------------------------------------------------------------------------------- /src/lazy/lazy.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/lazy/lazy.mbt -------------------------------------------------------------------------------- /src/lazy/lazy_list.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/lazy/lazy_list.mbt -------------------------------------------------------------------------------- /src/lazy/moon.pkg.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /src/lazy/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/lazy/pkg.generated.mbti -------------------------------------------------------------------------------- /src/moon.pkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/moon.pkg.json -------------------------------------------------------------------------------- /src/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/pkg.generated.mbti -------------------------------------------------------------------------------- /src/result.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/result.mbt -------------------------------------------------------------------------------- /src/rose/moon.pkg.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /src/rose/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/rose/pkg.generated.mbti -------------------------------------------------------------------------------- /src/rose/rose.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/rose/rose.mbt -------------------------------------------------------------------------------- /src/shrink.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/shrink.mbt -------------------------------------------------------------------------------- /src/state.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/state.mbt -------------------------------------------------------------------------------- /src/testable.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testable.mbt -------------------------------------------------------------------------------- /src/testing/axiom.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testing/axiom.mbt -------------------------------------------------------------------------------- /src/testing/driver.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testing/driver.mbt -------------------------------------------------------------------------------- /src/testing/gen.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testing/gen.mbt -------------------------------------------------------------------------------- /src/testing/moon.pkg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testing/moon.pkg.json -------------------------------------------------------------------------------- /src/testing/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/testing/pkg.generated.mbti -------------------------------------------------------------------------------- /src/utils/common.mbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/utils/common.mbt -------------------------------------------------------------------------------- /src/utils/moon.pkg.json: -------------------------------------------------------------------------------- 1 | {} -------------------------------------------------------------------------------- /src/utils/pkg.generated.mbti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moonbitlang/quickcheck/HEAD/src/utils/pkg.generated.mbti --------------------------------------------------------------------------------