experiment: ci-run

workload: sortedcontainers

strategy: hypothesis

property: IorPreservesIdentity

mode: solve

status: failed

tool: hypothesis


strategy: crosshair

tool: crosshair


property: FromkeysUsesCls


property: CopyDoesNotAliasSet


property: CopyDoesNotAliasDict


property: UpdateMatchesAdd