Code

Small fixes#141

Code

Merged

misonijnik merged 5 commits intomainUnitTestBot/klee:mainfrom columpio/fixesUnitTestBot/klee:columpio/fixesCopy head branch name to clipboardOct 25, 2023

+104-51

Commits

Commits on Oct 24, 2023

• [chore] Deal with compiler warnings

  Columpio

  committed
  3a69ec3

• [feat] Cover on the fly based on time

  Columpio

  committed
  89b5568

• [fix] rewriting ordering for terms with equal height

  Columpio

  committed
  042a4b6

• [fix] Update test

  misonijnik

  committed
  4f15289

Commits on Oct 25, 2023

• [feat] Removed unwanted calls pass

  Columpio

  committed
  fef825f