Exchange Format for Violation Witnesses and Correctness Witnesses

Name		Name	Last commit message	Last commit date
Latest commit History 203 Commits
LICENSES		LICENSES
lint		lint
termination		termination
test-harnesses		test-harnesses
.flake8		.flake8
LICENSE		LICENSE
PropertyUnreachCall.prp		PropertyUnreachCall.prp
README-GraphML.md		README-GraphML.md
README-Literature.md		README-Literature.md
README-YAML.md		README-YAML.md
README.md		README.md
lazy01_false-unreach-call.i.graphml		lazy01_false-unreach-call.i.graphml
loop-invariant-schema.json		loop-invariant-schema.json
minepump_spec1_product33_false-unreach-call_false-termination.cil.c		minepump_spec1_product33_false-unreach-call_false-termination.cil.c
minepump_spec1_product33_false-unreach-call_false-termination.cil.graphml		minepump_spec1_product33_false-unreach-call_false-termination.cil.graphml
minepump_spec1_product33_false-unreach-call_false-termination.cil.ultimateautomizer.graphml		minepump_spec1_product33_false-unreach-call_false-termination.cil.ultimateautomizer.graphml
multivar_1-1.c.invariant_witness.yaml		multivar_1-1.c.invariant_witness.yaml
multivar_true-unreach-call1.graphml		multivar_true-unreach-call1.graphml
multivar_true-unreach-call1.i		multivar_true-unreach-call1.i
multivar_true-unreach-call1.ultimateautomizer.graphml		multivar_true-unreach-call1.ultimateautomizer.graphml

Provide feedback