Skip to content

Flaky Quickcheck 'test_spfa_undir' #862

@RaoulLuque

Description

@RaoulLuque

The test 'test_spfa_undir' seems to be flaky as it sometimes passes and sometimes does not. Here is an example of it failing:
https://github.com/petgraph/petgraph/actions/runs/16649666204/job/47118746688

Locally I experienced the following smaller example failing (for the same Quickcheck: test_spfa_undir):

src/tester.rs:176:28:
[quickcheck] TEST FAILED. Arguments: (Graph { Ty: "Directed", node_count: 9, edge_count: 35, edges: (0, 0), (0, 1), (0, 5), (0, 
8), (1, 0), (1, 3), (1, 6), (1, 7), (2, 3), (2, 4), (2, 5), (2, 6), (3, 2), (3, 4), (3, 6), (4, 0), (4, 1), (4, 2), (4, 4), (5, 0), (5, 2), (5, 3), (5, 4), (5, 7), 
(6, 1), (6, 4), (6, 6), (6, 7), (7, 1), (7, 2), (7, 4), (7, 7), (8, 2), (8, 5), (8, 6), edge weights: {0: 3.893753, 1: -91.912415, 2: -48.74549, 
3: 0.44462585, 4: -80.72861, 5: 42.997223, 6: -19.344208, 7: -76.26109, 8: 82.21585, 9: 38.435287, 10: 59.628128, 11: 
86.483505, 12: -64.717125, 13: 54.60756, 14: -61.73351, 15: -57.99315, 16: 64.286545, 17: -26.240067, 18: -27.858757, 19: 
67.37335, 20: -89.80439, 21: 16.432571, 22: -52.82638, 23: 13.36129, 24: -50.19555, 25: -33.011154, 26: 87.34978, 27: 
1.7368317, 28: 5.6419373, 29: -60.348175, 30: 3.3531647, 31: 23.152992, 32: -87.10389, 33: -86.35218, 34: -25.684097} })

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-ciArea: CIA-crateArea: Petgraph crate functionality🔴 B-logicalBug: Logical error

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions