search

Byont-Ventures / smart-contract-analysis-tools

0 stars 1 forks source link

Update docker to install kevm with kup #61

Closed enzoevers closed 1 year ago

enzoevers commented 1 year ago

Due to Runtime Verification having made the kup tool, this story is not needed anymore.