Code

Small fix#132

Code

Merged

misonijnik merged 2 commits intomainUnitTestBot/klee:mainfrom misonijnik/tcUnitTestBot/klee:misonijnik/tcCopy head branch name to clipboardOct 7, 2023

+426-93

Commits

Commits on Oct 6, 2023

• [feat] Differentiate isCoveredNew and isCoveredNewError

  misonijnik

  committed
  85b5f35

Commits on Oct 7, 2023

• [chore] Z3 is not required in a lot of tests, so remove the requirements

  misonijnik

  committed
  e146884