feat: add halmos docker package

a16z / halmos

A symbolic testing tool for EVM smart contracts

GNU Affero General Public License v3.0

802 stars 65 forks source link

Closed EmperorOrokuSaki closed 3 months ago

EmperorOrokuSaki commented 4 months ago

This PR adds a new Dockerfile to the repository for the halmos docker package (which will be released by @karmacoma-eth).

karmacoma-eth commented 3 months ago

Thanks @EmperorOrokuSaki ! I iterated on your contribution and currently testing new workflows over there: https://github.com/a16z/halmos/pull/307