Collection, Bug de set RoyalandLoyal
<details key="invariant_ServiceLevel4" value="Bag{Set{1, 2}, Set{1, 2}, Set{4, 5, 6}}->size()= 3"/>
Genera
invariant17 = context _ServiceLevel [invariant_ServiceLevel4]
invariant_ServiceLevel4 self = ((oclVal (Bag [Val Set {1, 2}, Val Set {1, 2}, Val Set {4, 5, 6}]) |->| size)) |==| (oclInt 3)
Da error
parse error on ingput '1'
similar a #11
Edited by Jose Sebastian Sanchez Costa