Picture of Przemysław Żelazny
Re: manipulating_tests:proper_test_/0_9
by Przemysław Żelazny - Saturday, 19 October 2013, 10:58 AM
Hello Dmitrii,

proper_test_/0_9 is really picky. It seems that it will not accept manipulating:filter/2 implemented as a naive recursive function, nor as a list comprehension. 

I was able to satisfy this property by re-implementing lists:filter/2 (Pred, List) as a helper function in the manipulating module, and then having manipulating:filter/2 use it internally.

Too bad the failed properties don't show error messages. It's hard to pinpoint what's causing the issue.

Good luck,