Henry Keiter

Results 1 comments of Henry Keiter

@wkirby For **1**, it's a toy example so he's just touching the PHI result there to trigger access logging. Probably he means `phi_object` on line 8 to be `before`. As...