search

Certora / gambit

Using mutations to improve specs and test suites
MIT License
165 stars 8 forks source link

switch to snake case following new certoraRun convention #26

Closed stp59 closed 1 year ago

stp59 commented 1 year ago

Switching the CLI from kebab-case to snake_case to match convention in latest version of certora-cli

stp59 commented 1 year ago

I updated all scripts I could find in EVMVerifier but beyond that I'm not sure where else changes will need to be made. (this is in my other PR)

chandrakananandi commented 1 year ago

Awesome, thanks!

shellygr commented 1 year ago

Please run the same tests EVMVerifier CI is doing while using the newly released gambit. We'll pin the version following today's regressions

On Mon, Jul 10, 2023 at 10:35 PM Chandrakana Nandi @.***> wrote:

Merged #26 https://github.com/Certora/gambit/pull/26 into master.

— Reply to this email directly, view it on GitHub https://github.com/Certora/gambit/pull/26#event-9778845252, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA5BVDJQTPMC6U4MHLZWBGLXPRKR3ANCNFSM6AAAAAA2CD5RPA . You are receiving this because you are subscribed to this thread.Message ID: @.***>