ibc-rs icon indicating copy to clipboard operation
ibc-rs copied to clipboard

Add needed unit or integration tests for Tendermint proof verifications

Open Farhad-Shabani opened this issue 2 years ago • 4 comments

Summary

There is a need to cover Tendermint proof verifications with proper tests after issue #396. Mock Chain passes the proof verifications and we are not able to catch Tendermint-specific errors with the existing tests.

To Do

To ensure Tendermint proof verifications are correctly executed, we should add corresponding unit tests or somehow integrate basecoin-rs into our CI process

Blocked on: #677

Farhad-Shabani avatar Feb 06 '23 15:02 Farhad-Shabani

#396 was a core IBC bug; not Tendermint-specific. Did you mean "core handler validation needs to be tested" instead of "Tendermint proof verifications"?

plafer avatar Feb 08 '23 19:02 plafer

It occurred in the core section, but catching such errors needs that tests go through a proof verification process (e.g. here), which is a client-specific action. So, we can match the output with the fed test data. Note that we already bypass this check for MockClientState by setting the result of such methods to Ok() (e.g. here)

Farhad-Shabani avatar Feb 08 '23 19:02 Farhad-Shabani

Ah I see; yes that's right.

plafer avatar Feb 08 '23 20:02 plafer

closed by #1109

rnbguy avatar May 04 '24 22:05 rnbguy