List view
A

CodeProverBinding\Expression\ConstantExpression\IIntegerConstantExpression.cs

No issues found

One of my most productive days was throwing away 1000 lines of code.

– Ken Thompson