眩晕:以太坊智能合约的变异测试 源码

眩晕 Vertigo是一个变异测试框架,旨在专门用于智能合约。 这个突变测试框架实现了一系列突变算子,这些算子可以从以前的工作中选择,也可以根据需要进行调整。 快速入门指南 要安装眩晕,请执行以下命令: pip3 install --user eth-vertigo 现在,您可以使用以下命令在松露项目上运行vertigo(假设您在truffle-config.js配置了development网络): vertigo run --network development 根据您的环境,可能需要指定松露可执行文件的位置: vertigo run --network development