Skip to content

Move all tests under rust-tests to compiletest.#168

Merged
adpaco merged 3 commits into
model-checking:main-152-2021-06-01from
bdalrhm:compiletest
Jun 7, 2021
Merged

Move all tests under rust-tests to compiletest.#168
adpaco merged 3 commits into
model-checking:main-152-2021-06-01from
bdalrhm:compiletest

Address concerns.

fe9709c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs