search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

Uri/change mutation conf suffix CERT-4588 #30

Closed urikirsh closed 10 months ago

urikirsh commented 10 months ago

Changed the file suffix of the config file from .conf to .mconf as a part of our new convention

There is a matching PR in tutorials-package: https://github.com/Certora/tutorials-package/pull/14