analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard

Refactor Apron `Printable`s

Open sim642 opened this issue 1 year ago • 0 comments

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.

sim642 avatar Jun 27 '24 09:06 sim642