Move kore/compile tests to compile/ so that package structure aligns …

…with file structure
runtimeverification · Dec 11, 2023 · ab746d4 · ab746d4
1 parent 566e9c2
commit ab746d4
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/...ork/kore/compile/AddParentsCellsTest.java → ...ramework/compile/AddParentsCellsTest.java b/...ork/kore/compile/AddParentsCellsTest.java → ...ramework/compile/AddParentsCellsTest.java
diff --git a/...ramework/kore/compile/CloseCellsTest.java → ...rg/kframework/compile/CloseCellsTest.java b/...ramework/kore/compile/CloseCellsTest.java → ...rg/kframework/compile/CloseCellsTest.java
diff --git a/.../GenerateSentencesFromConfigDeclTest.java → .../GenerateSentencesFromConfigDeclTest.java b/.../GenerateSentencesFromConfigDeclTest.java → .../GenerateSentencesFromConfigDeclTest.java
diff --git a/...framework/kore/compile/SortCellsTest.java → ...org/kframework/compile/SortCellsTest.java b/...framework/kore/compile/SortCellsTest.java → ...org/kframework/compile/SortCellsTest.java
diff --git a/...ework/kore/compile/TestConfiguration.java → ...kframework/compile/TestConfiguration.java b/...ework/kore/compile/TestConfiguration.java → ...kframework/compile/TestConfiguration.java