stack-overflow during simulation-based reduction

spot.translate("(GX(0) R !Xp1) R ((((p0 M p4) <-> F(p5 M p4)) W X(FXp2 R p5)) W F!p1)", "det", "G")

leads to a segfault

Edited Jan 15, 2020 by Alexandre Duret-Lutz

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information