add_vde_test(fuzz_sdf)
add_vde_test(fuzz_boolean)
add_vde_test(fuzz_format)