Code

Solver optimizations#1265

Code

Merged

CaelmBleidd merged 4 commits intomainUnitTestBot/UTBotJava:mainfrom caelmbleidd/optimizationsUnitTestBot/UTBotJava:caelmbleidd/optimizationsCopy head branch name to clipboardNov 1, 2022

+884-683

Commits

Commits on Oct 31, 2022

• Solver optimizations

  CaelmBleidd

  committed
  9a08b82

Commits on Nov 1, 2022

• Soot class comparison fix

  CaelmBleidd

  committed
  f4b7a76

• Add a comment about fallbacks for types

  CaelmBleidd

  committed
  bf326f3

• Review fixes

  CaelmBleidd

  committed
  a38d250