VAMPIRE: Further Post-submission updates

2 files changed, 7 insertions, 2 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
index 863a91c8..d3afb7f7 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/SimpleRun.xtend
@@ -72,10 +72,10 @@ class SimpleRun {
                         it.typeScopes.maxNewElements = 40

                         it.typeScopes.minNewElements = 40

                         it.solutionScope.numberOfRequiredSolution = 1

-                        it.existingQueries = queries.patterns.map[it.internalQueryRepresentation]

+//                      it.existingQueries = queries.patterns.map[it.internalQueryRepresentation]

                         it.debugCongiguration.logging = false

                         it.debugCongiguration.partalInterpretationVisualisationFrequency = 1

-                        it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation

+//                      it.debugCongiguration.partialInterpretatioVisualiser = new GraphvizVisualisation

                 ]

                 solution = reasoner.solve(logicProblem,viatraConfig,workspace)

                 /*/

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend
new file mode 100644
index 00000000..e112ab59
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/src/hu/bme/mit/inf/dslreasoner/run/TestForDP.xtend
@@ -0,0 +1,5 @@
+package hu.bme.mit.inf.dslreasoner.run
+
+class TestForDP {
+        
+}
\ No newline at end of file