diff options
Diffstat (limited to 'Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig')
-rw-r--r-- | Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig new file mode 100644 index 00000000..a95fa38c --- /dev/null +++ b/Tests/hu.bme.mit.inf.dslreasoner.application.FAMTest/configs/generation.vsconfig | |||
@@ -0,0 +1,27 @@ | |||
1 | import epackage "inputs/FamMetamodel.ecore" | ||
2 | import viatra "inputs/FamPatterns.vql" | ||
3 | |||
4 | |||
5 | |||
6 | generate { | ||
7 | metamodel = { package functionalarchitecture } | ||
8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.fam } | ||
9 | partial-model = { "inputs/FamInstance.xmi"} | ||
10 | solver = ViatraSolver | ||
11 | scope = { | ||
12 | #node = 5 | ||
13 | } | ||
14 | |||
15 | config = { | ||
16 | runtime = 10000, | ||
17 | log-level = normal | ||
18 | } | ||
19 | |||
20 | number = 5 | ||
21 | runs = 1 | ||
22 | |||
23 | debug = "outputs/debug" | ||
24 | log = "outputs/log.txt" | ||
25 | output = "outputs/models" | ||
26 | statistics = "outputs/statistics.csv" | ||
27 | } \ No newline at end of file | ||