CHANGELOG.md
LICENSE
MANIFEST.in
README.md
setup.py
CoVeriTeam.egg-info/PKG-INFO
CoVeriTeam.egg-info/SOURCES.txt
CoVeriTeam.egg-info/dependency_links.txt
CoVeriTeam.egg-info/entry_points.txt
CoVeriTeam.egg-info/requires.txt
CoVeriTeam.egg-info/top_level.txt
LICENSES/Apache-2.0.txt
LICENSES/BSD-2-Clause.txt
LICENSES/BSD-3-Clause.txt
LICENSES/CC-BY-4.0.txt
LICENSES/CDDL-1.1.txt
LICENSES/ISC.txt
LICENSES/LicenseRef-BSD-3-Clause-CMU.txt
LICENSES/MIT.txt
bin/coveriteam
config/algo-selector-metaval.yml
config/cmc-reducer.yml
config/condtest.yml
config/cpa-seq.yml
config/cpa-validate-violation-witnesses.yml
config/cpa-witnesses-instrumentor.yml
config/cpachecker-witness-to-test.yml
config/cpachecker.yml
config/klee.yml
config/symbiotic.yml
config/test-criterion-instrumentor.yml
config/test-goal-annotator.yml
config/test-goal-extractor.yml
config/test-goal-pruner.yml
config/test-val.yml
config/uautomizer-validate-violation-witnesses.yml
config/uautomizer.yml
config/verifier_resource.yml
coveriteam/__init__.py
coveriteam/coveriteam.py
coveriteam/example_compositions.py
coveriteam/util.py
coveriteam/actors/__init__.py
coveriteam/actors/misc.py
coveriteam/actors/testers.py
coveriteam/actors/validators.py
coveriteam/actors/verifiers.py
coveriteam/artifactlibrary/specifications/coverage-branches.prp
coveriteam/artifactlibrary/specifications/coverage-error-call.prp
coveriteam/artifactlibrary/specifications/coverage-statements.prp
coveriteam/artifactlibrary/specifications/no-overflow.prp
coveriteam/artifactlibrary/specifications/termination.prp
coveriteam/artifactlibrary/specifications/unreach-call.prp
coveriteam/artifactlibrary/specifications/valid-memcleanup.prp
coveriteam/artifactlibrary/specifications/valid-memsafety.prp
coveriteam/interpreter/__init__.py
coveriteam/interpreter/python_code_generator.py
coveriteam/language/__init__.py
coveriteam/language/actor.py
coveriteam/language/actorconfig.py
coveriteam/language/artifact.py
coveriteam/language/atomicactor.py
coveriteam/language/composition.py
coveriteam/language/utilactors.py
coveriteam/parser/CoVeriLangLexer.py
coveriteam/parser/CoVeriLangParser.py
coveriteam/parser/CoVeriLangVisitor.py
coveriteam/parser/__init__.py
examples/README.md
examples/cmc-reducer.cvt
examples/condtest.cvt
examples/cpachecker.cvt
examples/exe-validator-witness-instrument.cvt
examples/execution-based-validation.cvt
examples/metaval.cvt
examples/repeat-condtest.cvt
examples/run_examples.sh
examples/validating-verifier.cvt
examples/verifier-based-tester.cvt
examples/verifier.cvt
examples/c/AdditionIntMax.i
examples/c/ConversionToSignedInt.i
examples/c/Madrid.c
examples/c/Problem01_label00.c
examples/c/Problem01_label15.c
examples/c/Problem01_label15_instrumented.c
examples/c/Problem02_label16.c
examples/c/cstrcat_unsafe.c
examples/c/gcnr2008.i
examples/c/slicingCondition.txt
examples/c/slicingReducer-example.c
examples/c/test.c
examples/properties/coverage-branches.prp
examples/properties/coverage-error-call.prp
examples/properties/coverage-statements.prp
examples/properties/no-overflow.prp
examples/properties/termination.prp
examples/properties/unreach-call.prp
examples/properties/valid-memcleanup.prp
examples/properties/valid-memsafety.prp
examples/witnesses/ConversionToSignedInt_nooverflow_witness.graphml
examples/witnesses/Problem01_label15_reach_safety.graphml
examples/witnesses/gcnr2008_violation_witness.graphml
lib/BenchExec-2.6-py3-none-any.whl
lib/PyYAML-5.3.1-cp36-cp36m-linux_x86_64.whl
lib/Tempita-0.5.2-cp36-none-any.whl
lib/antlr4_python3_runtime-4.8-cp36-none-any.whl
test/test_tutorial.py
test/tests.py