search

runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License
33 stars 3 forks source link

Support Hardhat projects #530

Open ehildenb opened 2 months ago

ehildenb commented 2 months ago

Currently, we only support Foundry projects for symbolic execution. We could also support Hardhat projects, if we just allow symoblic execution of functions directly (and not worry about tests).

The goal would be to consume the build artifacts associated with a Hardhat project instead of just with the Foundry project, and allow doing symbolic execution of the funcitons there.

ehildenb commented 2 months ago

Ping @RaoulSchaffranek as someone who asked for this.