这样的蛇形走可以通过 pretest 并且可以通过 system test，请问这个的正确性有无保证？

总之看了感觉挺迷惑的、、、