Skip to content
GitLab
Explore
Sign in
open-coal
haskellOCL
Issues
#20
Sequence { 1.. 6+4}
<details key="invariant_LoyaltyProgram9" value="Sequence{1 .. 6 + 4}->size() = 0"/>
No genera nada