Code

Separate branch and block coverage#136

Code

Merged

misonijnik merged 3 commits intomainUnitTestBot/klee:mainfrom misonijnik/track-br-instUnitTestBot/klee:misonijnik/track-br-instCopy head branch name to clipboardOct 17, 2023

+1,960-161

Commits

Commits on Oct 16, 2023

• [feat] Separate branch and block coverage

  misonijnik

  committed
  a1bac86

  Copy full SHA for a1bac86

• [chore] Update build.sh

  misonijnik

  committed
  4bc23a8

  Copy full SHA for 4bc23a8

• [feat] Prefer a smaller integer vaule in a model

  misonijnik

  committed
  51d7029

  Copy full SHA for 51d7029