This implements a fix to my observation that Apron output is always line broken with 80 column margin from Format by default https://github.com/goblint/analyzer/issues/1513#issuecomment-2192286933.
This avoids completely arbitrary line breaks (which may still go over column 80 in indented output line tracing) which also make searching the tracing files more annoying. At the same time, it might bypass #1513 (of course we should still optimize it in CIL as well).
This also cleans up other Printable-like things in Apron domains by adding the functions into GobApron.
This implements a fix to my observation that Apron output is always line broken with 80 column margin from
Format
by default https://github.com/goblint/analyzer/issues/1513#issuecomment-2192286933. This avoids completely arbitrary line breaks (which may still go over column 80 in indented output line tracing) which also make searching the tracing files more annoying. At the same time, it might bypass #1513 (of course we should still optimize it in CIL as well).This also cleans up other
Printable
-like things in Apron domains by adding the functions intoGobApron
.