TxCheck

TxCheck copied to clipboard

A testimonial

2

This tool has proven its value, and we want to integrate it into our CI and use it continuously. Thanks to @JZuming for running it and reporting the findings! \-...

alexey-milovidov

Reproduce Question 2

1

Dear author, we recently encountered an issue while using TxCheck, it appears that TxCheck may generate false positives due to improper decoupling of transaction dependencies, below is an example we...

Sakura-and-Cherry