Add loop-contracts doc to SUMMARY#3886

qinheping merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

qinheping:docs/loop-contractsqinheping/kani:docs/loop-contractsCopy head branch name to clipboard