aboutsummaryrefslogtreecommitdiff
path: root/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-09-03 15:09:35 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-09-03 15:09:35 +0100
commit1c02a4bde9eddb66550341377b2bd980ff48c474 (patch)
tree6e86500be926c98fd5f285b8410fe88e8805423c /test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
parent90cb6032058ad3fc16b895922823b5a700121b1b (diff)
downloadACQuA-1c02a4bde9eddb66550341377b2bd980ff48c474.tar.gz
ACQuA-1c02a4bde9eddb66550341377b2bd980ff48c474.zip
New test cases.
Diffstat (limited to 'test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java')
-rw-r--r--test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
index 426bdf2..4dae223 100644
--- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
+++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java
@@ -85,7 +85,7 @@ public class TestPagodaUOBM {
85 .run(); 85 .run();
86 } 86 }
87 87
88 @Test(groups = {"justExecute", "heavy", "nonOriginal"}) 88 @Test(groups = {"justExecute", "heavy", "nonOriginal", "existential"})
89 public void justExecute_modifiedUOBM() throws IOException { 89 public void justExecute_modifiedUOBM() throws IOException {
90 String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); 90 String ontoDir = TestUtil.getConfig().getProperty("ontoDir");
91 91