Skip to content

add a test case for fdp, neato non-termination

Matthew Fernandez requested to merge smattr/gitlab-2168 into main

For unknown reasons, this only reproduces on a subset of platforms.

Gitlab: #2168 (closed)

Some other minor commits of things I noticed along the way included as well.

Merge request reports