/storage/repos/sv-witnesses/lint/witnesslinter.py --ignoreSelfLoops --witness /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/results-verified/uautomizer-local.2021-09-22_14-18-52.files/SV-COMP21_unreach-call/mix014_power.oepc.yml/witness.graphml /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/pthread-wmm/mix014_power.oepc.i


--------------------------------------------------------------------------------


CRITICAL: line 658: Malformed witness:
	xmlSAX2Characters, line 658, column 1

witnesslint finished with exit code 1
free(): double free detected in tcache 2