1 Commits (fe4ef46f6b7d55885a80db9378424529243d10c8)

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