aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/queries/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/yakinduPatterns.vql16
1 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/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) { 221pattern noSynch(s:Statechart) {
222// Statechart(s); 222 Statechart(s);
223// neg find synch(_); 223 neg find synch(_);
224//} 224}
225//pattern synch(s:Synchronization) { 225pattern synch(s:Synchronization) {
226// Synchronization(s); 226 Synchronization(s);
227//} \ No newline at end of file 227} \ No newline at end of file