Ant automation for verification tests