1 Commits (a6e6d5993f9b3c80db73a25661f3dfce067d158c)

Author SHA1 Message Date
TimQu ade8078759 added test for lower bounded properties 8 years ago