elm-test

elm-test is an unit testing / property-based testing library for the Elm language.

elm-test's Shrinking Approach

Since version 2.0.0 elm-test uses the "internal shrinking" approach popularized by Hypothesis: instead of shrinking the generated values it shrinks the underlying "random dice rolls" stream and tries to generate values from scratch from these simplified random values.

For a very approachable intro look at the minithesis repository, which implements this very core idea of Hypothesis.

Implemented Challenges

Challenge	Code	Report
binheap	BinHeap.elm	binHeap.md
bound5	Bound5.elm	bound5.md
calculator	Calculator.elm	calculator.md
coupling	Coupling.elm	coupling.md
deletion	Deletion.elm	deletion.md
difference	Difference1.elm	difference1.md
	Difference2.elm	difference2.md
	Difference3.elm	difference3.md
distinct	Distinct.elm	distinct.md
large union list	LargeUnionList.elm	largeUnionList.md
length list	LengthList.elm	lengthlist.md
nestedlists	NestedLists.elm	nestedlists.md
reverse	Reverse.elm	reverse.md

Running examples

You need node and one of npm or yarn. With these, run yarn and yarn start.

Alternatively, you need elm and elm-esm on the PATH. With these, run ./run.sh.