vtgate v3: more formal tests