OtherLock: Indirect usage

Baltoli / project-docs

Documents for my Part III project

0 stars 0 forks source link

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

What happens with the OtherLock analysis when the argument isn't passed directly?
Does assigning to an intermediate variable change things?
How do we analyse this?