new test cases and updated verify script