set kani default value to 1#3912

rajath-mk wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

rajath-mk:unwind-defaultrajath-mk/kani:unwind-defaultCopy head branch name to clipboard