Code

Updated approximations version#208

Code

Merged

Saloed merged 3 commits intoUnitTestBot:mainUnitTestBot/usvm:mainfrom MchKosticyn:mainMchKosticyn/usvm:mainCopy head branch name to clipboardAug 14, 2024

+22-8

Commits

Commits on Aug 13, 2024

• updated approximations version

  MchKosticyn

  committed
  eb5f2d5

  Copy full SHA for eb5f2d5

Commits on Aug 14, 2024

• increased 'stepsFromLastCovered'

  Show description for 82b5e1e
  MchKosticyn

  committed
  82b5e1e

  Copy full SHA for 82b5e1e

• supported final method case in virtual call

  Show description for 04f1e47
  MchKosticyn

  committed
  04f1e47

  Copy full SHA for 04f1e47