search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Rename `ctx` #1438

Open sim642 opened 2 months ago

sim642 commented 2 months ago

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.