experiment: ci-run

workload: inflect

strategy: hypothesis

property: PluralApostropheNoCrash

mode: solve

status: failed

error: plural("'") raised TypeCheckError: argument "text" (str) is not an instance of inflect.Word

tool: hypothesis


strategy: crosshair

tool: crosshair


property: IndefArticleAbbrev

error: a('BFB') = 'an BFB'; expected to start with 'a '

counterexample: 'BFB'


property: OrdinalAcceptsNumeric

error: ordinal(0) raised TypeCheckError: argument "num" (int) is not an instance of inflect.Word


property: PluralShoeReturnsShoes

error: plural('shoe') = 'sho'; expected 'shoes'


property: PoundForcePluralizesPound

error: plural('pound-force') = 'pound-forces'; expected 'pounds-force'


property: LouseLicePlural

error: plural('sealouse') = 'sealice'; expected 'sealouses' (non-canonical louse must not be wholesale-pluralized to lice)