From 2d8f510afa54986c7cf6d2d28983268691509fb4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 26 Apr 2023 18:50:59 +0200
Subject: [PATCH] Rename ExampleFilesTest so that it actually runs

---
 .../tla2b/prettyprintb/OperationsTest.java}                 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
 rename src/test/java/{testing/ExampleFilesTest.java => de/tla2b/prettyprintb/OperationsTest.java} (94%)

diff --git a/src/test/java/testing/ExampleFilesTest.java b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
similarity index 94%
rename from src/test/java/testing/ExampleFilesTest.java
rename to src/test/java/de/tla2b/prettyprintb/OperationsTest.java
index 038f449..1191176 100644
--- a/src/test/java/testing/ExampleFilesTest.java
+++ b/src/test/java/de/tla2b/prettyprintb/OperationsTest.java
@@ -1,4 +1,4 @@
-package testing;
+package de.tla2b.prettyprintb;
 
 import java.io.File;
 import java.util.List;
@@ -17,10 +17,10 @@ import org.junit.runners.Parameterized;
 import static org.junit.Assert.assertEquals;
 
 @RunWith(Parameterized.class)
-public class ExampleFilesTest {
+public class OperationsTest {
 	private final File moduleFile;
 
-	public ExampleFilesTest(File machine) {
+	public OperationsTest(File machine) {
 		this.moduleFile = machine;
 	}
 
-- 
GitLab