StrictAnal module naming issue
|Reported by:||pumpkin||Owned by:|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||Blocked By:|
I've been debating submitting this ticket for a couple of days because it may just make me look immature, but it seems like a strange way to abbreviate Strictness Analysis.
The file I'm talking about is:
Maybe this could/should be changed just for aesthetic reasons?