From ab746d46780f7f57165226a5fd580af31e0cf2e5 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Thu, 7 Dec 2023 00:42:42 -0500
Subject: [PATCH] Move kore/compile tests to compile/ so that package structure
 aligns with file structure

---
 .../org/kframework/{kore => }/compile/AddParentsCellsTest.java    | 0
 .../java/org/kframework/{kore => }/compile/CloseCellsTest.java    | 0
 .../{kore => }/compile/GenerateSentencesFromConfigDeclTest.java   | 0
 .../java/org/kframework/{kore => }/compile/SortCellsTest.java     | 0
 .../java/org/kframework/{kore => }/compile/TestConfiguration.java | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename kernel/src/test/java/org/kframework/{kore => }/compile/AddParentsCellsTest.java (100%)
 rename kernel/src/test/java/org/kframework/{kore => }/compile/CloseCellsTest.java (100%)
 rename kernel/src/test/java/org/kframework/{kore => }/compile/GenerateSentencesFromConfigDeclTest.java (100%)
 rename kernel/src/test/java/org/kframework/{kore => }/compile/SortCellsTest.java (100%)
 rename kernel/src/test/java/org/kframework/{kore => }/compile/TestConfiguration.java (100%)

diff --git a/kernel/src/test/java/org/kframework/kore/compile/AddParentsCellsTest.java b/kernel/src/test/java/org/kframework/compile/AddParentsCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/AddParentsCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/AddParentsCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/CloseCellsTest.java b/kernel/src/test/java/org/kframework/compile/CloseCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/CloseCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/CloseCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java b/kernel/src/test/java/org/kframework/compile/GenerateSentencesFromConfigDeclTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java
rename to kernel/src/test/java/org/kframework/compile/GenerateSentencesFromConfigDeclTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/SortCellsTest.java b/kernel/src/test/java/org/kframework/compile/SortCellsTest.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/SortCellsTest.java
rename to kernel/src/test/java/org/kframework/compile/SortCellsTest.java
diff --git a/kernel/src/test/java/org/kframework/kore/compile/TestConfiguration.java b/kernel/src/test/java/org/kframework/compile/TestConfiguration.java
similarity index 100%
rename from kernel/src/test/java/org/kframework/kore/compile/TestConfiguration.java
rename to kernel/src/test/java/org/kframework/compile/TestConfiguration.java