Code

Trace collection in stress mode#264

Code

Open

eupp wants to merge 5 commits intodevelopJetBrains/lincheck:developfrom stress-trace-collectionJetBrains/lincheck:stress-trace-collectionCopy head branch name to clipboard

+332-157

Commits

Commits on Jan 22, 2024

• refactor the strategy API to expose the single invocation run method

  Show description for 8ee4a03
  eupp

  committed
  8ee4a03

  Copy full SHA for 8ee4a03

Commits on Jan 25, 2024

• if a failure is detected in stress mode, try to reproduce it in model checking mode #151

  Show description for 839e023
  eupp

  committed
  839e023

  Copy full SHA for 839e023

• add reproduceWithModelChecking option

  Show description for 0f8b4fd
  eupp

  committed
  0f8b4fd

  Copy full SHA for 0f8b4fd

• fix tests

  Show description for 9ce4e9d
  eupp

  committed
  9ce4e9d

  Copy full SHA for 9ce4e9d

• increase heap space to 1GB for tests

  Show description for 1cf3959
  eupp

  committed
  1cf3959

  Copy full SHA for 1cf3959