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

Create repeat() in String.java #453

Closed eklaDFF closed 4 months ago

eklaDFF commented 4 months ago

Created method repeat() in String.java

cyrille-artho commented 4 months ago

Looks good, thanks!