Running reanalyze 389dd68 on Goblint goblint/analyzer@a544002 revealed the following.
When -write modifies a file to add dead code attributes, it removes the trailing newline from the file. Since all other code style is nicely preserved, it shouldn't be removing that.
Running reanalyze 389dd68 on Goblint goblint/analyzer@a544002 revealed the following.
When
-writemodifies a file to add dead code attributes, it removes the trailing newline from the file. Since all other code style is nicely preserved, it shouldn't be removing that.