add_vde_test(test_gjk)
