Function main

test/test_vertical_decomposition.cpp:44–47

}

int main(){
    assert(test1());
    assert(test2());
}