Priyanka Bose

acv crashes while generating report

1

Hi, During report generation, I am getting the following crash with acv. ``` File "/home/priyanka/.local/bin/acv", line 11, in load_entry_point('acvtool', 'console_scripts', 'acv')() File "/home/priyanka/research/projects/androidtest/coverage/acvtool.py", line 217, in main run_actions(parser, args) File...

Must depend on Analysis

2

This implements #175 . Linter and reformatter ran locally. Brief analysis description: 1. Given a target variable, infer its dependencies within the function 2. Then for each such dependencies, take...

``Overview`` This PR adds support for external libraries in Medusa, allowing for proper deployment, linking, and testing of contracts that depend on external Solidity libraries. ``Key Changes`` - Added infrastructure...