Re-introduce a fixed version of `ExecuteDFS` (Issue #487)

Open james-d-mitchell opened this issue 4 years ago • 3 comments

This PR fixes some bugs introduced in #459

Sep 15 '21 13:09 james-d-mitchell

I suggest including the example from issue #487 as a test case 🙂

Sep 15 '21 13:09 wilfwilson

This PR fixes the ExecuteDFS stuff, which is no longer in the master branch, but which is now contained in a separate branch on this repository called readd-new-dfs (see #504).

I have therefore rebased this PR on top of readd-new-dfs and pushed it to your branch. Therefore, merging this PR will re-introduce the ExecuteDFS stuff, but in a fixed state (fingers crossed!).

Oct 27 '21 13:10 wilfwilson

Stale pull request message

Mar 08 '22 01:03 github-actions[bot]