scan: add --cfg=kani to collect harnesses in conditional modules#464
Draft
zjp-CN wants to merge 1 commit intomodel-checking:mainfrom
Draft
scan: add `--cfg=kani` to collect harnesses in conditional modules#464zjp-CN wants to merge 1 commit intomodel-checking:mainfrom
zjp-CN wants to merge 1 commit intomodel-checking:mainfrom
