search

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

Rename variables in KEVM storage.k #245

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

Look at all the files in tests/specs/mcd/*.k which are not*-spec.k files.

Variable names are all [A-Z_]*.