Uses of Package
io.hotmoka.verification.issues

Packages that use io.hotmoka.verification.issues

Package	Description
io.hotmoka.verification
io.hotmoka.verification.issues

Classes in io.hotmoka.verification.issues used by io.hotmoka.verification

Class	Description
Error	A blocking issue: if an error occurs during the processing of a Takamaka jar file, then its instrumentation cannot proceed and will be aborted.
Issue	An issue generated during the verification of the class files of a Takamaka program.

Classes in io.hotmoka.verification.issues used by io.hotmoka.verification.issues

Class	Description
Error	A blocking issue: if an error occurs during the processing of a Takamaka jar file, then its instrumentation cannot proceed and will be aborted.
Issue	An issue generated during the verification of the class files of a Takamaka program.