HyperLTL trace error - fix 2127914#213

Open

mtygesen wants to merge 4 commits intoTAPAAL:mainfrom

mtygesen:hyperltl-trace-loop-error-2127914

Commits on Oct 29, 2025

fixed some traces reporting as finite even though they contain a loop
mtygesen
committed

Commits on Nov 12, 2025

Commits on Jan 25, 2026

Merge branch 'TAPAAL:main' into hyperltl-trace-loop-error-2127914
mtygesen
authored