package net.ciklum.icfpc11.plan;


import junit.framework.TestCase

/**
 * blabla
 * @author vic
 */
public class FunctionTreeBuilderTest extends TestCase {

    public void testN() {
        def a = FunctionTreeBuilder.n(10)
        assertEquals 'dbl(succ(dbl(succ(succ(zero)))))', a.toString()
    }
}