java实现验证码功能源码-soltix:SOLTIX：用于测试Solidity编译器的可扩展自动化框架

java实现验证码功能源码 SOLTIX：用于测试 Solidity 编译器的可扩展自动化框架。 SOLTIX 是一个自动测试 Solidity 编译器的框架，由 和 , 支持。 SOLTIX的研发始于ICE中心，作为和指导的硕士论文项目。 该项目现在是一个开放平台，欢迎来自以太坊社区的贡献者。 要了解有关该框架的更多信息、在其基础上构建或将其扩展到其他虚拟机，请与我们的核心团队和贡献者联系。 目前发现的bug 到目前为止，SOLTIX 在官方 ( solc ) 和 . 1. Solidity 编译器错误 SOLTIX 在solc编译器中发现了以下两个错误： ：此错误会导致指数计算不正确。 该错误已在 . ：此错误导致各种 solc 版本中的内部编译器错误。 该错误已在 0.5.1 版中修复。 在solc 0.5.0+commit.1d4f565a.Emscripten.clang上的一些测试用例 (, ) 中观察到与优化相关的错误。 这些没有被详细分析，因为它们不再出现在更新的版本中。 2. Ganache-cli 错误 SOLTIX 还在ganache-cli发现了两个错误： :