Who the F* runs a minimizer on friggin C sources? And it's inconsistent too.
Security-related code should be readable and auditable.
Who the F* runs a minimizer on friggin C sources? And it's inconsistent too.
Security-related code should be readable and auditable.
> inconsistent
I have a strong feeling that this person just likes this as a style and enforces it by hand…