Skip to content

Commit ba654ed

Browse files
ttuegelttuegel
committed
mv test/check-implication test/issue-1916
1 parent 1b248d6 commit ba654ed

File tree

4 files changed

+0
-0
lines changed

4 files changed

+0
-0
lines changed

‎test/check-implication/Makefile renamed to ‎test/issue-1916/Makefile

File renamed without changes.

‎test/check-implication/issue-1916-spec.k renamed to ‎test/issue-1916/issue-1916-spec.k

File renamed without changes.

‎test/check-implication/issue-1916-spec.k.out.golden renamed to ‎test/issue-1916/issue-1916-spec.k.out.golden

File renamed without changes.

‎test/check-implication/test.k renamed to ‎test/issue-1916/test.k

File renamed without changes.

0 commit comments

Comments
 (0)