Skip to content

Latest commit

 

History

History
42 lines (35 loc) · 1.16 KB

readme.MD

File metadata and controls

42 lines (35 loc) · 1.16 KB
Raw

Medusa Template Generator

This is a tool to generate a set of contracts for a Medusa testing campaign, following Wonderland usage. The following contracts are generated, according to this structure (I know, we call the child "parent" for...reason):

  • fuzz/
    • FuzzTest.sol
    • handlers/
      • HandlerParent.sol
      • HandlerA.sol
      • HandlerB.sol
      • HandlerC.sol
    • properties/
      • PropertyParent.sol
      • PropertyA.sol
      • PropertyB.sol
      • PropertyC.sol
    • Setup.sol

The inheritance tree is as follows, FuzzTest is the entry point:

  • FuzzTest, inherit ParentProperty
  • ParentProperty, inherit each properties contract
  • PropertyA, PropertyB, PropertyC, etc inherit HandlerParent
  • HandlerParent, inherit each handler contract
  • HandlerA, HandlerB, HandlerC, etc inherit Setup

Installation

This is an early alpha version, only available by building from sources:

cargo install --git https://github.com/drgorillamd/medusa-gen.rs

Usage

medusa-gen -n 3 -p 4

Options

--solc, -s: Solidity compiler version, default is 0.8.23 --nb-handlers, -n: Number of handlers, default is 2 --nb-properties, -p: Number of properties, default is 2