kmbarry1

Note: refer to the following branch of k-dss for latest work https://github.com/makerdao/k-dss/tree/pot-rpow

So far I've only looked at the rpow proofs in the Pot contract.

First, I updated the pc values in Pot.rpow-loop, which passes without any issue.

Latest pc values: // 13af => 13f3 pc

kmbarry1

The act looks like:

behaviour canCall-true of MkrAuthority
interface canCall(address src, address dst, bytes4 sig)

types
  May : uint256

storage
  wards[src] |-> May