Commit Graph

1 Commits

Author SHA1 Message Date
r4bbit e3142f1e52 refactor: move certora configs into individual scripts
This is done to allow execution of multiple verifications per command,
such that we can still use `pnpm verify` as usual to run all specs, but
also target individual specs using `pnpm verify:sub_command`.
2024-01-19 07:28:25 +01:00