experiment: ci-run

workload: python-slugify

strategy: hypothesis

property: AddUppercaseCovers

mode: solve

status: failed

tool: hypothesis


strategy: crosshair


property: StopwordsRespectSeparator


tool: crosshair


property: NfkdPreNormalize