Shunkichi Sato
Shunkichi Sato
Check if the coverage behaves as expected after #2433 @s8sato
 https://github.com/hyperledger/iroha/runs/7463816572
 https://github.com/hyperledger/iroha/runs/7463817017
Closed as main topics were resolved by #2576. Remaining topics within this issue are #2646, #2606, and the toolchain file. If I'm missing anything please newly create issues @BAStos525 @appetrosyan
Related to: - #2012 - #1218
> never subscribe to the same type of message twice It cannot be said that a `BrokerMessage` will never have 2 subscribers in the future. We don't even have all...
Disambiguation. If this issue refers to WARN logs such as below on running `cargo bench --bench tps-dev`, then #2078 is responsible for it. This occurs when the `interval_us_per_tx` configuration is...
I think so too. Created #2310
Converted to draft because I'd like to wait for #2433 merge. I'd welcome reviews, but further changes would be made during resolving the conflicts
Alternatives: - Isabelle/HOL Papers: - [Formal Verification of Blockchain Byzantine Fault Tolerance](https://arxiv.org/pdf/1909.07453.pdf)