JetBrains/lincheck

Support for IntelliJ IDEA plugin

Closed this issue · 0 comments

ndkoval commented

We need to support replaying interleavings in the model-checking mode for the in-development IntelliJ IDEA plugin.

Subtasks:

  • Rebase on develop when javaagent is merged 1d
  • Cleanup 1d
  • Track method calls 2d
  • Review 1d