Open ehildenb opened 3 years ago
Currently we cannot add something like #storageVat(<vat> ... </vat>) to the Map sort, which is used for representing storage in KEVM. So we need to instead make a supersort of Map which is the storage sort.
#storageVat(<vat> ... </vat>)
Map
Currently we cannot add something like
#storageVat(<vat> ... </vat>)to theMapsort, which is used for representing storage in KEVM. So we need to instead make a supersort ofMapwhich is the storage sort.