add verification tests