search

javapathfinder / jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
527 stars 334 forks source link

add Logger interface and getLogger() method #467

Closed eklaDFF closed 3 months ago

eklaDFF commented 3 months ago
  1. Add Logger interface
  2. add getLogger() method
cyrille-artho commented 3 months ago

Thanks!