import org.junit.jupiter.api.Test;

import static org.junit.jupiter.api.Assertions.*;

class TreeBstCheckTest {
    @Test
    void test() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{2, 1, 3};
        tt.left = new int[]{1, -1, -1};
        tt.right = new int[]{2, -1, -1};

        assertTrue(tt.isBst());
    }
    @Test
    void test1() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{1, 2, 3};
        tt.left = new int[]{1, -1, -1};
        tt.right = new int[]{2, -1, -1};

        assertFalse(tt.isBst());
    }
    @Test
    void test2() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[0];
        tt.left = new int[0];
        tt.right = new int[0];

        assertTrue(tt.isBst());
    }
    @Test
    void test3() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{1, 2, 3, 4, 5};
        tt.left = new int[]{-1, -1, -1, -1, -1};
        tt.right = new int[]{1, 2, 3, 4, -1};

        assertTrue(tt.isBst());
    }
    @Test
    void test4() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{4, 2, 6, 1, 3, 5, 7};
        tt.left = new int[]{1, 3, 5, -1, -1, -1, -1};
        tt.right = new int[]{2, 4, 6, -1, -1, -1, -1};

        assertTrue(tt.isBst());
    }
    @Test
    void test5() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{4, 2, 1, 5};
        tt.left = new int[]{1, 2, -1, -1};
        tt.right = new int[]{-1, 3, -1, -1};

        assertFalse(tt.isBst());
    }
    @Test
    void test6() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{2, 1, 2};
        tt.left = new int[]{1, -1, -1};
        tt.right = new int[]{2, -1, -1};

        assertTrue(tt.isBst());
    }
    @Test
    void test7() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{2, 2, 3};
        tt.left = new int[]{1, -1, -1};
        tt.right = new int[]{2, -1, -1};

        assertFalse(tt.isBst());
    }
    @Test
    void test8() {
        TreeBstCheck.TreeOrders tt = new TreeBstCheck.TreeOrders();
        tt.key = new int[]{2147483647};
        tt.left = new int[]{-1};
        tt.right = new int[]{-1};

        assertTrue(tt.isBst());
    }
}