verify assert显示