眩晕:以太坊智能合约的变异测试 源码
眩晕 Vertigo是一个变异测试框架,旨在专门用于智能合约。 这个突变测试框架实现了一系列突变算子,这些算子可以从以前的工作中选择,也可以根据需要进行调整。 快速入门指南 要安装眩晕,请执行以下命令: pip3 install --user eth-vertigo 现在,您可以使用以下命令在松露项目上运行vertigo(假设您在truffle-config.js配置了development网络): vertigo run --network development 根据您的环境,可能需要指定松露可执行文件的位置: vertigo run --network development
用户评论
推荐下载
-
以太坊分析源码
以太坊分析
13 2021-02-23 -
eth metadata registry以太坊智能合约的链上元数据注册表books chains_selector源码
链上IPFS元数据注册表 就像听起来一样! 使用部署密钥将IPFS上存储的元数据链接到合同。 添加类别,以允许dapp发布有关您自己的地址或已部署合同的数据。 Rinkeby v0.0.2:0x9E9
9 2021-02-25 -
松露断言hammer_and_wrench用于通过Truffle单元测试来测试以太坊智能合约的断言和实用程序源码
松露断言 该软件包添加了其他断言,可用于在Truffle测试中测试以太坊智能合约。 安装 松露断言可以通过npm安装: npm install truffle-assertions 用法 要使用此程序
1 2021-02-08 -
以太坊白皮书以太坊下一代智能合约和去中心化应用平台中文版
文件格式PDF主要内容从数字货币到技术突破早期的区块链仅局限于数字货币领域以太坊是为了解决让区块链怎样应用于货币以外的领域的问题.内置有图灵完备的编程语言比特币的脚本语言不支持循环语句会导致脚本空间利
21 2023-01-06 -
ewasm precompiles在Rust中实现以太坊预编译合约源码
ewasm-precompiles:在Rust中实现以太坊预编译合约
10 2021-02-09 -
测试智能合约教程.docx
有详细步骤,包含相关代码与测试结果截图,在Linux系统中进行
15 2021-04-26 -
以太坊之一以太坊账户的特点
正在学习区块链,如果我哪里有错误希望大家指出,如果有任何想法也欢迎留言。这些笔记本身是在typora上写的,如果有显示不正确的敬请谅解。笔记本身也是给我自己写的,所以如果有侵权的请通知我,我立即删除。
27 2021-01-16 -
ethereum_wallet一个简单HTML以太坊钱包和ERC20智能合约源码
以太坊钱包Ethereum钱包 关于关于 一个使用最基本HTML,JavaScript,ethers.js制作之以太坊钱包,协助您以最快速,简单的方式进入以太坊应用程序领域。 一个基于最基本HTML,
12 2021-04-04 -
智能合约源码
智能合约
34 2021-02-23 -
以太虾农合约源码
看到了这个资料,和大家分析一下。里面有很多详细注释。
30 2019-09-03
暂无评论