Certora/gambit

Add mutation configuration to `gambit_out` to allow for reproducibility

Opened this issue · 0 comments

It would be nice to have the configurations/settings of a mutation run in the resulting directory. This will (a) make it easier to rerun if need be, and (b) make it easier to see what settings were enabled when it was run.