tiancaiamao 09b73186f8 tools/check: make ut retry on special 'segmentation fault' error (#33566) ...

ref pingcap/tidb#32392, close pingcap/tidb#32690

2022-03-31 14:58:29 +08:00

..

check

tools/check: make ut retry on special 'segmentation fault' error (#33566)

2022-03-31 14:58:29 +08:00