Sebastian Banescu

Error loading data: Cannot open fact file balance.facts

1

When running this command for a flattened contract: ``` sudo docker run -it -v :/share securify /share/.sol ``` I get the following error: ``` pragma directive defines a prior version...

Feature request: Generate code coverage summary information similar to solidity-coverage

2

At the moment `hevm dapp-test --coverage` outputs the source code files with some symbols in front of each line, which indicates if those lines were covered or not, or if...

How to generate input .bin files

1

I would like to run syntia on my own programs. However, it is not entirely clear to me how to generate the .bin files in the same format as the...

Potential security issue

1

Hello, there's a potential security issue that I would like to report. Where do I do it?