From 58a9431a90d2ca147f56c45dcfd4654145550a01 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Mon, 11 May 2020 12:51:37 -0400 Subject: Add Satellite Case Study to testing framework --- .../config/genericSatellite.vsconfig | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig') diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig new file mode 100644 index 00000000..b683073a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig @@ -0,0 +1,25 @@ +import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" +//import viatra "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src/hu/bme/mit/inf/dslreasoner/domains/satellite/queries/SatelliteQueries.vql" +import viatra "src/queries/SatelliteQueries.vql" + +generate { + metamodel = { package satellite } + constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } + partial-model = { "inputs/SatelliteInstance.xmi"} + solver = ViatraSolver + scope = { + #node += 64..128 + } + + config = { + runtime = 10000, + log-level = normal + } + + runs = 1 + + debug = "outputs/debug" + log = "outputs/log.txt" + output = "outputs/models" + statistics = "outputs/statistics.csv" +} -- cgit v1.2.3-70-g09d2