Skip to content

Move gotoc tests under run-make to their own test suite.#217

Merged
adpaco merged 5 commits into
model-checking:main-152-2021-06-17from
bdalrhm:expected
Jun 17, 2021
Merged

Move gotoc tests under run-make to their own test suite.#217
adpaco merged 5 commits into
model-checking:main-152-2021-06-17from
bdalrhm:expected

Factor out duplicated code.

130f7d1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs