Code

Fix several bugs#151

Code

Merged

misonijnik merged 4 commits intomainUnitTestBot/klee:mainfrom misonijnik/fixesUnitTestBot/klee:misonijnik/fixesCopy head branch name to clipboardNov 3, 2023

+40-57

Commits

Commits on Nov 3, 2023

• [style]

  misonijnik

  committed
  f388e7a

  Copy full SHA for f388e7a

• [fix] Consider all not empty and not fully covered functions

  misonijnik

  committed
  2b5072f

  Copy full SHA for 2b5072f

• [fix] Fix perfomance bug

  misonijnik

  committed
  d3f26ef

  Copy full SHA for d3f26ef

• [fix] Fix isStuck

  misonijnik

  committed
  facd575

  Copy full SHA for facd575