Code

Loop detector refactoring#310

Code

Merged

avpotapov00 merged 11 commits intodevelopJetBrains/lincheck:developfrom loop-detector-refactoringJetBrains/lincheck:loop-detector-refactoringCopy head branch name to clipboardApr 22, 2024

+570-479

Commits

Commits on Apr 19, 2024

• WIP: unifying newSwitchPointRegular and newSwitchPointInReplayMode methods

  Show description for ffcef99
  eupp

  committed
  ffcef99

• Loop detector extracted to a separate file

  

  Aleksandr.Potapov

  authored and

  eupp

  committed
  cd111c4

• LoopDetector minor refactoring

  Show description for 1798dac
  eupp

  committed
  1798dac

• minor

  Show description for 18d0914
  eupp

  committed
  18d0914

• simplify isActiveNode method

  Show description for 484f4a1
  eupp

  committed
  484f4a1

• completely decouple LoopDetector from TraceCollector

  Show description for 5429a7c
  eupp

  committed
  5429a7c

• minor

  Show description for a57a237
  eupp

  committed
  a57a237

• minor

  Show description for e5ffac5
  eupp

  committed
  e5ffac5

• rename and document loop detector decision classes

  Show description for 15f19f9
  eupp

  committed
  15f19f9

• minor

  Show description for 3efa469
  eupp

  committed
  3efa469

• minor

  Show description for 135c651
  eupp

  committed
  135c651