Improve assess and regression time - #2478

Improve assess and regression time#2478

celinval merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-assess-timecelinval/kani-dev:issue-xxxx-assess-timeCopy head branch name to clipboard