Add another test

This commit is contained in:
Huw Campbell 2016-12-08 21:11:50 +11:00
parent 24289dba41
commit eb179d071b

View File

@ -21,6 +21,17 @@ prop_pool = once $
out = poolForward 2 2 1 1 2 3 input
in expected === out
prop_pool_rectangular = once $
let input = (3><4)
[ 1.0, 14.0, 3.0, 4.0
, 5.0, 6.0, 7.0, 8.0
, 9.0, 10.0, 11.0, 12.0 ]
expected = (2><2)
[ 14.0, 14.0
, 11.0, 12.0 ]
out = poolForward 2 3 1 1 2 2 input
in expected === out
prop_pool_backwards = once $
let input = (3><4)
[ 1.0, 2.0, 3.0, 4.0