From 92f558e9477dff642a70d1a69f0e4cb7f54884af Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 2 Jul 2015 19:30:42 +0000 Subject: [PATCH] Bug fix in CSV results export: escape double quotes properly. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10158 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ResultsExporter.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/ResultsExporter.java b/prism/src/prism/ResultsExporter.java index a6850c25..6c8f39fe 100644 --- a/prism/src/prism/ResultsExporter.java +++ b/prism/src/prism/ResultsExporter.java @@ -205,7 +205,7 @@ public class ResultsExporter exportString += property.toString() + ":\n"; break; case CSV: - exportString += "\"" + property.toString().replaceAll("\"", "\\\"") + "\"\n"; + exportString += "\"" + property.toString().replaceAll("\"", "\\\\\"") + "\"\n"; break; case COMMENT: // None - it's printed at the the end in this case