pdaforsmt_1.3 push test