Add loop scanner to tool-scanner#3443

qinheping merged 8 commits into

model-checking:mainmodel-checking/kani:mainfrom

qinheping:features/loop-scannerqinheping/kani:features/loop-scannerCopy head branch name to clipboard