diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-05-12 22:27:13 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-05-12 22:27:13 -0400 |
| commit | f1f2a1fac60aa00aa21cf9165e34666c108e8e4b (patch) | |
| tree | d842680e6b3be73c572ac00fd16c35af79a12092 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse | |
| parent | VAMPIRE: fixed MANY bugs in containment and scope. #40 is good for now (diff) | |
| download | VIATRA-Generator-f1f2a1fac60aa00aa21cf9165e34666c108e8e4b.tar.gz VIATRA-Generator-f1f2a1fac60aa00aa21cf9165e34666c108e8e4b.tar.zst VIATRA-Generator-f1f2a1fac60aa00aa21cf9165e34666c108e8e4b.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 |