makerdao / k-dss

formal verification of multicollateral dai in the K framework
GNU Affero General Public License v3.0
14 stars 11 forks source link

add auth requirement to Flipper.kick #8

Closed kmbarry1 closed 5 years ago

kmbarry1 commented 5 years ago

Account for new authorization requirement in Flipper.kick spec

I haven't tested this yet, but it's obviously needed, and I suspect it's the only problem with this act at the moment.