positive and negative tests for --check-afm

gsdlab · Aug 15, 2013 · 690408c · 690408c
1 parent 6522362
commit 690408c
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 5 deletions.
diff --git a/test/negative/i199-afm-check.cfr b/test/negative/i199-afm-check.cfr
@@ -0,0 +1,12 @@
+//# OPTIONS --check-afm
+// http://gsd.uwaterloo.ca:8888/question/867/add-attributed-feature-models-check
+// This model should fail the afm test for lines 9, 10, 11, and 12
+
+a 0..0
+b ?
+c 
+d 1..1
+e 0..*
+f +
+g 1..*
+h 2..5
diff --git a/test/positive/i199-afm-check.cfr b/test/positive/i199-afm-check.cfr
@@ -1,8 +1,9 @@
+//# OPTIONS --check-afm
 // http://gsd.uwaterloo.ca:8888/question/867/add-attributed-feature-models-check
-// This model should fail the attributed feature model check for lines 5,6, and 7
+// This model should pass the attributed feature model check
 a
    b ?
-   c 2..*
-d +
-e *
-f 0
+   c 0..1
+d 1..1
+e 0..0
+f 1
diff --git a/test/positive/i199-afm-with-inhritance.cfr b/test/positive/i199-afm-with-inhritance.cfr
@@ -1,4 +1,5 @@
 //# OPTIONS --check-afm
+// http://gsd.uwaterloo.ca:8888/question/867/add-attributed-feature-models-check
 
 abstract A