mirror of
https://github.com/github/codeql.git
synced 2026-01-25 20:32:58 +01:00
The `toString` implementtion that `PresentIRFunction` uses may result in very long strings that may crash the evaluator. Overriding allows is to limit the string size and still suffices when just counting the number of inconsistencies.