% $Id: CountTest.oz,v 1.1 2007/10/31 21:19:22 leavens Exp leavens $
\insert 'Count.oz'
\insert 'TestingNoStop.oz'
{Test {Count 10} '==' [1 2 3 4 5 6 7 8 9 10]}
{Test {Filter {Count 20} IsOdd} '==' [1 3 5 7 9 11 13 15 17 19]}