Code

Improve assess and regression time#2478

Code

Merged

celinval merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-assess-timecelinval/kani-dev:issue-xxxx-assess-timeCopy head branch name to clipboardMay 26, 2023

+41-7

Commits

Commits on May 25, 2023

• Improve assess and regression time

  Show description for c0370fe
  celinval

  committed
  c0370fe

  Copy full SHA for c0370fe

Commits on May 26, 2023

• Merge branch 'main' into issue-xxxx-assess-time

  celinval

  authored
  6ff3384

  Copy full SHA for 6ff3384