Skip to content
GitLab
Explore
Sign in
Register
Setting cycle-bound to 0 in modes leads to run length being exceeded immediately
...whereas it should lead to unbounded cycle detection.