text icon indicating copy to clipboard operation
text copied to clipboard

Intermittent Failure of t_toCaseFold_char

Open david-sledge opened this issue 1 year ago • 0 comments

Occasionally, when I run the tests, t_toCaseFold_char results in a failure.

      t_toCaseFold_char:                                  FAIL
        *** Failed! Falsified (after 95 tests and 1 shrink):
        '\43953'
        "\5089" /= "\43953"
        Use --quickcheck-replay=356345 to reproduce.
        Use -p '/t_toCaseFold_char/' to rerun this test only.

With the input supplied above ('\43953'), the failure can be reliably reproduced:

t_toCaseFold_char_cornerCase = t_toCaseFold_char '\43953'

Edit: The test also fails with '\43921'.

david-sledge avatar Aug 09 '22 23:08 david-sledge