As the Lincheck codebase grows in size and complexity, debugging becomes more and more challenging process.
To improve the development process and speed-up debugging process, we need to add a logging facilities to Lincheck.

• Decide whether to use existing library, or implement simple logging facilities from scratch.

• Select a set of subsystems that can benefit from logging, and add logging there gradually in several steps.

  • Runner and FixedActiveThreadsExecutor classes: log tasks execution process, thrown exceptions, etc.
  • ManagedStrategy: log calls to injected methods, such as beforeReadField, beforeWriteField, etc.
  • LincheckJavaAgent: log what classes are transformed.
    • add possibility to dump transformed bytecode into files for inspection.
  • TODO: what else?