[SV-COMP'18 12/19] SV-COMP graphml fixes [blocks: #3486]#2001

Merged

kroening merged 16 commits intodiffblue:developfrom

tautschnig:sv-comp-graphml

Apr 17, 2019

Commits on Apr 4, 2019

Remove obsolete graphml frontierNode, nodeType

peterschrammel
authored and
tautschnig
committed
Remove obsolete sourcecode element in graphml

peterschrammel
authored and
tautschnig
committed
No outgoing edges from violation nodes

peterschrammel
authored and
tautschnig
committed
expr2ct/clean configuration: Do not output C library macros
tautschnig
committed
Use clean-C configuration for GraphML witnesses
tautschnig
committed
Make sure SSA suffixes are stripped off GraphML output
tautschnig
committed
GraphML: Use the \result symbol in place of return value symbols

marek-trtik
authored and
tautschnig
committed
Add violation node for the memory safety benchmarks

lucasccordeiro
authored and
tautschnig
committed
GraphML output: Split array-list into assignments

peterschrammel
authored and
tautschnig
committed
GraphML output: hide assignments to dynamic objects

peterschrammel
authored and
tautschnig
committed
GraphML witnesses: unwind "with" expressions
tautschnig
committed
GraphML: add cyclehead node

peterschrammel
authored and
tautschnig
committed
Using cache to speed up generation of GraphML file

marek-trtik
authored and
tautschnig
committed
Hack to make CPAchecker parse graphml concurrency witnesses
tautschnig
committed
GraphML witnesses: clang-format switch/case statement
tautschnig
committed
GraphML witnesses: correctly set the scope of parameters
tautschnig
committed