Reversing a list
March 23, 2026 ยท View on GitHub
This tests the (wrong) property that reversing a list of integers results in the same list. It is a basic example to validate that a library can reliably normalize simple sample data.
Implementors
| Library | Code | Report |
|---|---|---|
| Americium | ReverseTest.java | reverse.md |
| Hypothesis | reverse.py | reverse.md |
| jqwik | ReverseProperties.java | reverse.md |
| PropEr | reverse.erl | reverse.md |
| FsCheck | Reverse.fsx | Reverse.md |
| fast-check | reverse.js | reverse.md |
| CsCheck | ShrinkingChallengeTests.cs | reverse.md |
| elm-test | Reverse.elm | reverse.md |
| hedgehog-fsharp | reverse.fsx | reverse.md |