analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard

Published 20 hours ago • verified publisher icon goblint

Rename `ctx`

Open sim642 opened this issue 3 months ago • 0 comments

As brought up in GobCon, we might want to rename ctx because it's not a context in the analysis sense.

Candidates

  1. man – manager.

sim642 avatar Apr 30 '24 12:04 sim642