Lab 4 :ex 7

[BertLisser]

quickCheck propDecomp 
quickCheck propSubset

must be become

quickCheck \x->propDecomp x && propSubset x

Both properties must be valid simultaneously at the same relation

Good (=8)

[Meess]

Hi Bert,

We have actually done this the past 4 weeks, and never got any remark on it. All properties of a certain function should then always be simultaneously valid, which is true. But by combining it you mask which properties are invalid, right? We executed them sequential on purpose so when running the tests, after adaptions to the code, we could immediately see which properties were violated. Which with your approach wouldn't be possible. It would return if all properties are met, but if failed not which properties failed. Although I do get your reasoning that they should all be simultaneously true, I think the sequential approach is more effective as it better indicates which properties are violated and therefore better serves the purpose of software testing.