diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java similarity index 91% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java index 4799156dde7779b824f5cd04ae3f02dea53a3978..09ed7bc345fb64743bd228f85b7986c5edb14fcf 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAllUnitTests.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAllUnitTests.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.runner.RunWith; import org.junit.runners.Suite; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java index c6c14c77fd74ea1b60f2f99f400f6233f3bd7810..d389f63aed1a40610e3264fd08a357d073c5d371 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleAndUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleAndUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java similarity index 96% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java index 6306b0992bc67ca3a0427f9845926790a4eb36df..1ddcd43cb25762df80a63a25af810d54b99c6c20 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleFinallyUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleFinallyUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java similarity index 96% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java index 5688ff428550e28d7fe2f2c0eb1a22c868451b28..f772c06a1f6790453536355706ecadb6850c05e7 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleGloballyUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleGloballyUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java index 132509c5281e0c2614d1c5e48c037693a453d438..51e89995d8ca4f09bb0ca2979714eab55263e686 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleHistoryUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleHistoryUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java index 7c557d58feeffe92ada8e4f782ff499544a263b3..c130d52f3a8689feb434abdc222cef59779c6082 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleImplyUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleImplyUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java similarity index 94% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java index 95bb621017d47dbcd3d9e2e56ca17e1bcadfe9d8..d6dd660ce65667d5637e11a56d7367e7f5129fda 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNextUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNextUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.Test; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java similarity index 93% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java index 8eeb19f6093b901aea5a63b98946846d1388245b..3566fac5615f9dcb2de1423a62c4b33289acbae1 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleNotUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleNotUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.Test; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java similarity index 95% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java index 33229e73fe06c46044480552116c416c70b6fd73..4457b80bfb84040bfc7d30f5353c64ff0b1bdc8f 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOnceUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOnceUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.Test; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java index ba5f5ad113bfca8d2d8cb427a6d5152e571b429f..ccff698093a9695ddea8b19a642e368ea36f5c7c 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleOrUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleOrUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import static org.junit.Assert.assertTrue; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java index c9160c73629adef9122bcccdcca0fda064a94e53..afedebfc3311bcdc8ba91a139707e630da408017 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleReleaseUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleReleaseUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.Test; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java index 967f926419d1ce9f784d37d9830cc00394ecfa26..3752a020179ea16948f81656545498e2d357b5fb 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleSinceUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleSinceUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; /** diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java index 45bc1d3d5c0258adbbfb1d2d38e29e6870a231cc..519401e2b72f949ad35134a629b5f6e925396f25 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleTriggerUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleTriggerUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; /** diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java index f94c169e5c6fd88020decff033c4368f33660e9f..d70463239614775f0c0374cb2146817afb7ab427 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleUntilUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleUntilUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; /** diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java similarity index 97% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java index db33abab5280f1fe13d283aec6c4e1a095dd5086..b7c91884b1a8ced635146f4c1ffaff25b7020aed 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleWeakUntilUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleWeakUntilUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; /** diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java similarity index 94% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java index b7b7e2548bc1d2494bea2ebd6251a825db651e77..798865d4e40d7572e136e825159d395913c56750 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/CounterExampleYesterdayUnitTest.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/CounterExampleYesterdayUnitTest.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import org.junit.Test; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java similarity index 98% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java index 20b7f4000b856cb5646c96f32811ff325979e105..7b3aeaec5ea8aa687a4332b5f4f81c6165779cb8 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/LtlTestDescription.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/LtlTestDescription.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import java.util.ArrayList; import java.util.Collection; diff --git a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java similarity index 92% rename from de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java rename to de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java index 2c075e9da5fee99d9da865c7a3e9a77ed735eb16..f7de3916d871628e21273554b9d53d2a33329c97 100644 --- a/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/unittests/TestCounterExample.java +++ b/de.prob.core.tests/src/de/prob/core/domainobjects/ltl/tests/TestCounterExample.java @@ -1,4 +1,4 @@ -package de.prob.core.domainobjects.ltl.unittests; +package de.prob.core.domainobjects.ltl.tests; import de.prob.core.command.LtlCheckingCommand.PathType; import de.prob.core.domainobjects.ltl.CounterExample;