CSV Statistics Export: Ambiguous Usage of Comma

[wadoon]

This issue was created at git.key-project.org where the discussions are preserved.

---

When saving the proof statistics as CSV, a comma is used for separating columns, but also as thousands separator, as in

Total rule apps,2,965

It would be advantageous to use, e.g., semicolons instead as columns separator.

Also, the first line in

ShowProofStatistics.getCSVStatisticsMessage(proof);
File file = new File(MiscTools.toValidFileName(proof.name().toString()) + ".csv");
try (BufferedWriter writer =
        new BufferedWriter(new OutputStreamWriter(new FileOutputStream(file)));
        ) {
    writer.write(ShowProofStatistics.getCSVStatisticsMessage(proof));
} catch (IOException e) {
    e.printStackTrace();
    assert false;
}

of class ConsoleUserInterface seems superfluous.

I git-blamed (at)mkirsten for this, at least for ConsoleUserInterface ;) Cheers!

---

Information:

• created_at: 2020-04-20T07:40:51.367Z
• updated_at: 2020-04-20T13:14:07.714Z
• closed_at: None (closed_by: )
• milestone:
• user_notes_count: 3