1 files changed, 64 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig
new file mode 100644
index 00000000..836b6b76
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig
@@ -0,0 +1,64 @@
+import epackage "../../../Domains/crossingScenario/model/crossingScenario.ecore"
+import viatra   "queries/csQueriesStrategy.vql"
+import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
+import viatra "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 += 10..*
+        }
+        config = {
+                runtime = 10000,
+                "numeric-solver" = "z3",
+                log-level = none
+        }
+        runs = 1
+        output = "measurements/debug/warmup"
+}
+generate {
+        metamodel = { package crossingScenario }
+        constraints = { package queries}
+        partial-model = { "inputs/crossScen4Strat.xmi"}
+        solver = ViatraSolver
+        scope = {
+                #node += 0..*
+                ,#<Lane> += 0
+                ,#<Relation> += 0
+        }
+        
+        config = {
+                runtime = 10000,
+                "numeric-solver" = "z3",
+                "dreal-local-path" = "enterPathHere",
+                "dreal-timeout" = "10000",
+                log-level = none,
+                "ignored-attributes" = "
+                        Pedestrian.xPos=*, 
+                        Pedestrian.yPos=*, 
+                        Pedestrian.length=*,
+                        Pedestrian.width=*, 
+                        Pedestrian.xSpeed=*, 
+                        Pedestrian.ySpeed=*, 
+                        Vehicle.xPos=*, 
+                        Vehicle.yPos=*, 
+                        Vehicle.length=*,
+                        Vehicle.width=*, 
+                        Vehicle.xSpeed=*, 
+                        Vehicle.ySpeed=*, 
+                        CollisionExists.collisionTime=*"}
+        
+        runs = 1
+        number = 10
+        debug =                 "outputs/debug"
+        log =                   "outputs/debug/log.txt"
+        output =                "outputs/models"        
+        statistics =    "outputs/debug/statistics.csv"
+}

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig new file mode 100644 index 00000000..836b6b76 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericStrategyNo.vsconfig
@@ -0,0 +1,64 @@
	1	import epackage "../../../Domains/crossingScenario/model/crossingScenario.ecore"
	2	import viatra "queries/csQueriesStrategy.vql"
	3	import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore"
	4	import viatra "queries/SatelliteQueries.vql"
	5
	6	generate {
	7	metamodel = { package satellite }
	8	constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
	9	partial-model = { "inputs/SatelliteInstance.xmi"}
	10	solver = ViatraSolver
	11	scope = {
	12	#node += 10..*
	13	}
	14
	15	config = {
	16	runtime = 10000,
	17	"numeric-solver" = "z3",
	18	log-level = none
	19	}
	20
	21	runs = 1
	22
	23	output = "measurements/debug/warmup"
	24	}
	25
	26	generate {
	27	metamodel = { package crossingScenario }
	28	constraints = { package queries}
	29	partial-model = { "inputs/crossScen4Strat.xmi"}
	30	solver = ViatraSolver
	31	scope = {
	32	#node += 0..*
	33	,#<Lane> += 0
	34	,#<Relation> += 0
	35	}
	36
	37	config = {
	38	runtime = 10000,
	39	"numeric-solver" = "z3",
	40	"dreal-local-path" = "enterPathHere",
	41	"dreal-timeout" = "10000",
	42	log-level = none,
	43	"ignored-attributes" = "
	44	Pedestrian.xPos=*,
	45	Pedestrian.yPos=*,
	46	Pedestrian.length=*,
	47	Pedestrian.width=*,
	48	Pedestrian.xSpeed=*,
	49	Pedestrian.ySpeed=*,
	50	Vehicle.xPos=*,
	51	Vehicle.yPos=*,
	52	Vehicle.length=*,
	53	Vehicle.width=*,
	54	Vehicle.xSpeed=*,
	55	Vehicle.ySpeed=*,
	56	CollisionExists.collisionTime=*"}
	57
	58	runs = 1
	59	number = 10
	60	debug = "outputs/debug"
	61	log = "outputs/debug/log.txt"
	62	output = "outputs/models"
	63	statistics = "outputs/debug/statistics.csv"
	64	}