Use #kani_comment instead of #comment for deinit#1708
Closed
giltho wants to merge 4 commits intomodel-checking:mainfrom
Closed
Use #kani_comment instead of #comment for deinit#1708giltho wants to merge 4 commits intomodel-checking:mainfrom
#kani_comment instead of #comment for deinit#1708giltho wants to merge 4 commits intomodel-checking:mainfrom
