experiment: ci-run

workload: bidict

strategy: hypothesis

property: BidictNoneRejected

mode: solve

status: failed

tool: hypothesis


strategy: crosshair

tool: crosshair


property: IorPreservesIdentity


property: OrDoesNotMutateSelf


property: PopitemKeepsInverseConsistent


property: ForceputOverwritesNotRaises


property: OrderedPopitemLastFalseReturnsFirst