Exchange Format for Violation Witnesses and Correctness Witnesses

Name		Name	Last commit message	Last commit date
Latest commit History 221 Commits
.github/workflows		.github/workflows
LICENSES		LICENSES
lint		lint
termination		termination
test-harnesses		test-harnesses
.flake8		.flake8
.gitignore		.gitignore
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
jsfh.yml		jsfh.yml
lazy01_false-unreach-call.i.graphml		lazy01_false-unreach-call.i.graphml
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
requirements.txt		requirements.txt
witness.schema.json		witness.schema.json

Provide feedback