VerificationResult.java (link) does not contain the actual verification result.
This appears to be a Java representation of the ContractVerificationResult type in TS (link), which has that extra field (verificationResult: 'COMPATIBILE' | 'INCOMPATIBLE';).
If that's the case, then the result is already available, it should just be a matter of mapping it into the Java object in VerifierResultMapper.java (link).
Without this field, it is possible, but difficult, to do anything with the result other than just pass/fail the test run.
VerificationResult.java(link) does not contain the actual verification result.This appears to be a Java representation of the
ContractVerificationResulttype in TS (link), which has that extra field (verificationResult: 'COMPATIBILE' | 'INCOMPATIBLE';).If that's the case, then the result is already available, it should just be a matter of mapping it into the Java object in
VerifierResultMapper.java(link).Without this field, it is possible, but difficult, to do anything with the result other than just pass/fail the test run.