archive/bug16

ZhangXin8069

@ZhangXin8069

ff85f4ae · 2025-01-17-19-37-35 · Jan 17, 2025

follow dev36, when running ./test/test.clover-test5.py, bug appear (refer to ./test/log.clover-bug16.txt), same bug also appear when when running ./test/test.wilson-test5.py......