`Pretty.text` very slow and uses a lot of memory - Githubissues

goblint / cil

C Intermediate Language

https://goblint.github.io/cil/

Other

40 stars 16 forks source link

`Pretty.text` very slow and uses a lot of memory #169

Open michael-schwarz opened 2 months ago

michael-schwarz commented 2 months ago

See https://github.com/goblint/analyzer/issues/1513 for ideas on a possible solution.