# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 3ea39601638b2097991e9be74c209bc6ddb14e7df8d3c00dc6e4c86ac64a91be # shrinks to a = SymbolicDfa { edges: [[]], accepting: [false] }
cc 87d43dd5f7b122defa27c3a78e77f0ebc161ad4b431eef7772be200a62e1fced # shrinks to a = SymbolicDfa { edges: [[]], accepting: [false] }
cc 93df9e5f1c01732e9cf42065b8bc3d47eff8d02c79041adf4512b6b3fd4c72e5 # shrinks to a = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 0 }]], accepting: [false] }, b = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 0 }]], accepting: [false] }
cc ce8765633671e7ae7bfb0b9543299f07ad4ec5659024e4c2e56646db63d2e8c2 # shrinks to a = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 0 }]], accepting: [false] }, b = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 0 }]], accepting: [false] }, c = SymbolicDfa { edges: [[]], accepting: [false] }
cc 346599a8e1a812961e7f556b1b9bbbdce4ac209e22d9269dea0d5e2e3de6d8ad # shrinks to a = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: Some(-1) }, Span { lo: Some(1), hi: None }] }] }, target: 1 }, Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: Some(0), hi: Some(0) }] }] }, target: 0 }], [Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 1 }]], accepting: [true, false] }, b = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: Some(-1) }, Span { lo: Some(1), hi: None }] }] }, target: 1 }, Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: Some(0), hi: Some(0) }] }] }, target: 2 }], [Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 1 }], [Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: Some(-1) }, Span { lo: Some(1), hi: None }] }] }, target: 1 }, Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: Some(0), hi: Some(0) }] }] }, target: 2 }]], accepting: [false, false, true] }, c = SymbolicDfa { edges: [[Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: Some(0) }, Span { lo: Some(2), hi: None }] }] }, target: 1 }, Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: Some(1), hi: Some(1) }] }] }, target: 2 }], [Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 1 }], [Edge { guard: IntSet { modulus: 1, classes: [IntervalSet { spans: [Span { lo: None, hi: None }] }] }, target: 1 }]], accepting: [false, false, true] }
