Serialized Form

Package io.hotmoka.verification

Class io.hotmoka.verification.IncompleteClasspathError extends Error implements Serializable

serialVersionUID:

6525998903613112872L

Class io.hotmoka.verification.UnsupportedVerificationVersionError extends Error implements Serializable

serialVersionUID:

-1232455923178336022L

Serialized Fields

verificationVerification

int verificationVerification

Class io.hotmoka.verification.VerificationException extends RuntimeException implements Serializable

serialVersionUID:

-1232455923178336022L

Serialized Fields

error

Error error