Repository navigation

Extract Traverser from UtBotSymbolicEngine - #307

Merged

sergeypospelov merged 19 commits into

mainfrom

sergey/engine-refactoring

Jul 8, 2022

Merged

Extract Traverser from UtBotSymbolicEngine#307
sergeypospelov merged 19 commits into
mainfrom
sergey/engine-refactoring

Commits on Jul 8, 2022
- Add highlighting link to UtBotSymbolicEngine in the comments
  sergeypospelov
  committed
  f7cb267
- Rename UtBotSymbolicEngine to Traverser
  sergeypospelov
  committed
  258c8f5
- Introduce StateLabel
  sergeypospelov
  committed
  58ae325
- Move function from TypeRegistry to Traverser
  sergeypospelov
  committed
  f1f2a73
- Remove strange hack on nullable SymbolicResult for only void return
  sergeypospelov
  committed
  8dce048
- Refactor resolve function: turn receiver parameter into argument
  sergeypospelov
  committed
  cd2e1ee
- Remove isInNestedMethod function from engine
  sergeypospelov
  committed
  a42d75c
- Split processResult
  sergeypospelov
  committed
  fbc0541
- Refactor: remove graph parameter from Traverser constructor
  sergeypospelov
  committed
  259078b
- Refactor: remove useless environment field usage
  sergeypospelov
  committed
  d226672
- Refactor entryMethodPath function
  sergeypospelov
  committed
  a5cb81c
- Move function isInsideStaticInitializer to ExecutionState.kt
  sergeypospelov
  committed
  b3137a9
- Refactor: move negativeArraySizeCheck from createNewArray to call site
  sergeypospelov
  committed
  6046b22
- Introduce TraversingContext
  sergeypospelov
  committed
  1d7017a
- Split Traverser.kt into Traverser.kt and UtBotSymbolicEngine.kt
  sergeypospelov
  committed
  33f21b7
- Change logger back
  sergeypospelov
  committed
  8ca4645
- Fix comments
  sergeypospelov
  committed
  c266e98
- Fix strange behaviour
  sergeypospelov
  committed
  3f01700
- Fix review comments
  sergeypospelov
  committed
  33c61d1

Commits

Commits on Jul 8, 2022