Skip to content

2.0.10

Compare
Choose a tag to compare
@marekkirejczyk marekkirejczyk released this 23 Apr 13:23
· 428 commits to master since this release

Summary

Add support for generating KLAB (a formal verification tool for Solidity, see: https://github.com/dapphub/klab)
friendly compilation output.

An example of full KLAB friendly config file is the following:

  module.exports = {
  compiler: process.env.WAFFLE_COMPILER,
  legacyOutput: true,
  outputType: 'all',
  compilerOptions: {
    outputSelection: {
      "*": {
        "*": [ "evm.bytecode.object", "evm.deployedBytecode.object",
               "abi" ,
               "evm.bytecode.sourceMap", "evm.deployedBytecode.sourceMap" ],
        
        "": [ "ast" ]
      },     
    }
  }
};

For details, see updated appropriate documentation file.