Bug 5899: Cardinality check incorrectly limited to 1 for "must" 71/39171/2
authorFilip Gregor <fgregor@cisco.com>
Thu, 19 May 2016 11:54:45 +0000 (13:54 +0200)
committerFilip Gregor <fgregor@cisco.com>
Fri, 20 May 2016 11:53:39 +0000 (13:53 +0200)
updated cardinality for must statement in
refine statement, added test

Change-Id: I3c31cc902d05a87259970a856a8f0e7efc20c67c
Signed-off-by: Filip Gregor <fgregor@cisco.com>

No differences found