Add proof harnesses for unchecked_disjoint_bitor on unsigned integer … - #662

Add proof harnesses for unchecked_disjoint_bitor on unsigned integer …#662

Tianshu-Huang wants to merge 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

Tianshu-Huang:add-unchecked-disjoint-bitor-harnessTianshu-Huang/verify-rust-std:add-unchecked-disjoint-bitor-harnessCopy head branch name to clipboard