Ascii writer does not escape empty sets / vectors
Description
The script
Outputs the line
to a log-file. This makes it impossible to distinguish a line containing EMPTY from a line containing an empty set.
Environment
None
Assignee
Robin Sommer
Reporter
Johanna Amann
Labels
None
External issue ID
931
Components
Fix versions
Affects versions
Priority
NormalConfigure