experiment: ci-run

workload: aeson

strategy: quickcheck

property: QuarterOfYearCaseInsensitive

mode: solve

status: failed

tool: quickcheck

counterexample: QoyArgs {qoyValue = Q1, qoyUpper = True}parseQuarterOfYear "Q1" = Left "Unexpected 'Q', expecting QuarterOfYear"; expected Right Q1


counterexample: QoyArgs {qoyValue = Q4, qoyUpper = True}parseQuarterOfYear "Q4" = Left "Unexpected 'Q', expecting QuarterOfYear"; expected Right Q4


counterexample: QoyArgs {qoyValue = Q3, qoyUpper = True}parseQuarterOfYear "Q3" = Left "Unexpected 'Q', expecting QuarterOfYear"; expected Right Q3


counterexample: QoyArgs {qoyValue = Q2, qoyUpper = True}parseQuarterOfYear "Q2" = Left "Unexpected 'Q', expecting QuarterOfYear"; expected Right Q2


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample: QoyArgs {qoyValue = Q1, qoyUpper = True}: parseQuarterOfYear "Q1" = Left "Unexpected 'Q', expecting QuarterOfYear"; expected Right Q1


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["QoyArgs {qoyValue = Q1, qoyUpper = True}"] (PropertyFalse Nothing)