% $Id: RulesTest.oz,v 1.1 2011/04/21 12:31:11 leavens Exp leavens $
% Testing of the rule abstraction.
%
% AUTHOR: Gary T. Leavens

\insert 'TestingNoStop.oz'
\insert 'Rules.oz'
declare
Rule30 = {Rule 30}
Rule110 = {Rule 110}
{StartTesting 'Rules'}
{Test {SelectPatterns RevPatterns3 {ReversedBinaryDigitsOf 255}} '==' RevPatterns3}
{Test {SelectPatterns RevPatterns3 {ReversedBinaryDigitsOf 30}} '==' [0#0#1 0#1#0 0#1#1 1#0#0]}
{Test {ReversedBinaryDigitsOf 0} '==' {Reverse nil}}
{Test {ReversedBinaryDigitsOf 255} '==' {Reverse [1 1 1 1 1 1 1 1]}}
{Test {ReversedBinaryDigitsOf 30} '==' {Reverse [1 1 1 1 0]}}
{Test {ReversedBinaryDigitsOf 110} '==' {Reverse [1 1 0 1 1 1 0]}}
{Test {Rule30 1 1 1} '==' 0}
{Test {Rule30 1 1 0} '==' 0}
{Test {Rule30 1 0 1} '==' 0}
{Test {Rule30 1 0 0} '==' 1}
{Test {Rule30 0 1 1} '==' 1}
{Test {Rule30 0 1 0} '==' 1}
{Test {Rule30 0 0 1} '==' 1}
{Test {Rule30 0 0 0} '==' 0}

{Test {Rule110 1 1 1} '==' 0}
{Test {Rule110 1 1 0} '==' 1}
{Test {Rule110 1 0 1} '==' 1}
{Test {Rule110 1 0 0} '==' 0}
{Test {Rule110 0 1 1} '==' 1}
{Test {Rule110 0 1 0} '==' 1}
{Test {Rule110 0 0 1} '==' 1}
{Test {Rule110 0 0 0} '==' 0}
{StartTesting done}