diff --git a/test/negative/i199-afm-check.cfr b/test/negative/i199-afm-check.cfr new file mode 100644 index 00000000..90906111 --- /dev/null +++ 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 index 297d4884..3c5947cc 100644 --- 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 \ No newline at end of file + c 0..1 +d 1..1 +e 0..0 +f 1 \ No newline at end of file diff --git a/test/positive/i199-afm-with-inhritance.cfr b/test/positive/i199-afm-with-inhritance.cfr index 664ead76..6eb86dcf 100644 --- 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