Code

Small improvement of call remover#148

Code

Merged

misonijnik merged 1 commit intomainUnitTestBot/klee:mainfrom columpio/fixesUnitTestBot/klee:columpio/fixesCopy head branch name to clipboardNov 1, 2023

+2-1

Commits

Commits on Oct 31, 2023

• [fix] Improved call remover

  Columpio

  committed
  3782a70