From 730d36cfdb51b09e713a37229cc84975f3f20e18 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 5 May 2011 06:27:35 +0000
Subject: [PATCH] moved Kodkod test problems into a sub-folder
git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@7813 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
test/de/stups/probkodkod/InteractionTestBase.java | 3 ++-
test/de/stups/probkodkod/{ => problems}/functions.kodkod | 0
test/de/stups/probkodkod/{ => problems}/integercast.kodkod | 0
test/de/stups/probkodkod/{ => problems}/integers.kodkod | 0
test/de/stups/probkodkod/{ => problems}/intrange.kodkod | 0
test/de/stups/probkodkod/{ => problems}/intvar.kodkod | 0
test/de/stups/probkodkod/{ => problems}/loop.kodkod | 0
test/de/stups/probkodkod/{ => problems}/negative.kodkod | 0
test/de/stups/probkodkod/{ => problems}/projection.kodkod | 0
test/de/stups/probkodkod/{ => problems}/relquant.kodkod | 0
test/de/stups/probkodkod/{ => problems}/returnzero.kodkod | 0
test/de/stups/probkodkod/{ => problems}/simpletwovars.kodkod | 0
12 files changed, 2 insertions(+), 1 deletion(-)
rename test/de/stups/probkodkod/{ => problems}/functions.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/integercast.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/integers.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/intrange.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/intvar.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/loop.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/negative.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/projection.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/relquant.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/returnzero.kodkod (100%)
rename test/de/stups/probkodkod/{ => problems}/simpletwovars.kodkod (100%)
diff --git a/test/de/stups/probkodkod/InteractionTestBase.java b/test/de/stups/probkodkod/InteractionTestBase.java
index f000bc1..1d7ec5e 100644
--- a/test/de/stups/probkodkod/InteractionTestBase.java
+++ b/test/de/stups/probkodkod/InteractionTestBase.java
@@ -57,7 +57,8 @@ public class InteractionTestBase {
}
protected static String load(final String filename) throws IOException {
- InputStream input = KodkodTest.class.getResourceAsStream(filename);
+ InputStream input = KodkodTest.class.getResourceAsStream("problems/"
+ + filename);
int c = input.read();
StringBuffer buf = new StringBuffer();
while (c >= 0) {
diff --git a/test/de/stups/probkodkod/functions.kodkod b/test/de/stups/probkodkod/problems/functions.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/functions.kodkod
rename to test/de/stups/probkodkod/problems/functions.kodkod
diff --git a/test/de/stups/probkodkod/integercast.kodkod b/test/de/stups/probkodkod/problems/integercast.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/integercast.kodkod
rename to test/de/stups/probkodkod/problems/integercast.kodkod
diff --git a/test/de/stups/probkodkod/integers.kodkod b/test/de/stups/probkodkod/problems/integers.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/integers.kodkod
rename to test/de/stups/probkodkod/problems/integers.kodkod
diff --git a/test/de/stups/probkodkod/intrange.kodkod b/test/de/stups/probkodkod/problems/intrange.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/intrange.kodkod
rename to test/de/stups/probkodkod/problems/intrange.kodkod
diff --git a/test/de/stups/probkodkod/intvar.kodkod b/test/de/stups/probkodkod/problems/intvar.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/intvar.kodkod
rename to test/de/stups/probkodkod/problems/intvar.kodkod
diff --git a/test/de/stups/probkodkod/loop.kodkod b/test/de/stups/probkodkod/problems/loop.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/loop.kodkod
rename to test/de/stups/probkodkod/problems/loop.kodkod
diff --git a/test/de/stups/probkodkod/negative.kodkod b/test/de/stups/probkodkod/problems/negative.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/negative.kodkod
rename to test/de/stups/probkodkod/problems/negative.kodkod
diff --git a/test/de/stups/probkodkod/projection.kodkod b/test/de/stups/probkodkod/problems/projection.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/projection.kodkod
rename to test/de/stups/probkodkod/problems/projection.kodkod
diff --git a/test/de/stups/probkodkod/relquant.kodkod b/test/de/stups/probkodkod/problems/relquant.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/relquant.kodkod
rename to test/de/stups/probkodkod/problems/relquant.kodkod
diff --git a/test/de/stups/probkodkod/returnzero.kodkod b/test/de/stups/probkodkod/problems/returnzero.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/returnzero.kodkod
rename to test/de/stups/probkodkod/problems/returnzero.kodkod
diff --git a/test/de/stups/probkodkod/simpletwovars.kodkod b/test/de/stups/probkodkod/problems/simpletwovars.kodkod
similarity index 100%
rename from test/de/stups/probkodkod/simpletwovars.kodkod
rename to test/de/stups/probkodkod/problems/simpletwovars.kodkod
--
GitLab