diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-05-12 22:27:13 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:41:28 -0400 |
commit | fcad3b0db48b45a7769c2934911f79307c103990 (patch) | |
tree | 5b8ef3721b291e8af82f24e7936457a9e8586a30 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse | |
parent | Pre-realisticBranchCreation Commit (diff) | |
download | VIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.tar.gz VIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.tar.zst VIATRA-Generator-fcad3b0db48b45a7769c2934911f79307c103990.zip |
Pre-realisticBranchCreation Commit
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql_ (renamed from Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql) | 0 | ||||
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql | 16 |
2 files changed, 8 insertions, 8 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql_ index 2e498670..2e498670 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduMutatedPatterns.vql_ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql index 597b1691..ea8184de 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql | |||
@@ -217,11 +217,11 @@ pattern twoSynch(s1 : Synchronization, s2 : Synchronization) { | |||
217 | /** | 217 | /** |
218 | * Model generation task: at least one synch | 218 | * Model generation task: at least one synch |
219 | */ | 219 | */ |
220 | //@Constraint(severity="error", message="error", key = {s}) | 220 | @Constraint(severity="error", message="error", key = {s}) |
221 | //pattern noSynch(s:Statechart) { | 221 | pattern noSynch(s:Statechart) { |
222 | // Statechart(s); | 222 | Statechart(s); |
223 | // neg find synch(_); | 223 | neg find synch(_); |
224 | //} | 224 | } |
225 | //pattern synch(s:Synchronization) { | 225 | pattern synch(s:Synchronization) { |
226 | // Synchronization(s); | 226 | Synchronization(s); |
227 | //} \ No newline at end of file | 227 | } \ No newline at end of file |