Skip to content

[BUG] An invariant assertion failed in the ScheduledMerges prototype. #755

@jorisdral

Description

@jorisdral

Describe the bug
An invariant assertion failed in the ScheduledMerges prototype.

To Reproduce
Run cabal run prototypes-test -- --quickcheck-replay="(SMGen 3702524042292853426 14344574976030159473,92)" -p '/ScheduledMerges vs model/'

Expected behavior
There should be no assertion failure.

Output
https://github.com/IntersectMBO/lsm-tree/actions/runs/15582831616/job/43881936227

Desktop (please complete the following information):
Not applicable (I think)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions