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/CC0-1.0.txt
LICENSES/CDDL-1.1.txt
LICENSES/ISC.txt
LICENSES/LGPL-2.1-only.txt
LICENSES/LicenseRef-BSD-3-Clause-CMU.txt
LICENSES/MIT.txt
LICENSES/MPL-2.0.txt
actors/2ls.yml
actors/README.md
actors/algo-selector-cst-transform.yml
actors/algo-selector-metaval.yml
actors/brick.yml
actors/cbmc.yml
actors/cmaesfuzz.yml
actors/cmc-reducer.yml
actors/coastal.yml
actors/condtest.yml
actors/coveritest.yml
actors/cpa-bam-bnb.yml
actors/cpa-lockator.yml
actors/cpa-predicate-NoCegar.yml
actors/cpa-predicate-craig-interpolation.yml
actors/cpa-seq.yml
actors/cpa-validate-violation-witnesses.yml
actors/cpa-witnesses-instrumentor.yml
actors/cpachecker-conditional-testing-naive.yml
actors/cpachecker-conditional-testing-propagation.yml
actors/cpachecker-witness-to-test.yml
actors/cpachecker.yml
actors/dartagnan.yml
actors/divine.yml
actors/esbmc-incr.yml
actors/esbmc-kind.yml
actors/frama-c-sv.yml
actors/fshell-validator.yml
actors/fusebmc.yml
actors/gacal.yml
actors/gazer-theta.yml
actors/goblint.yml
actors/hybridtiger.yml
actors/java-ranger.yml
actors/jayhorn.yml
actors/jbmc.yml
actors/jdart.yml
actors/klee.yml
actors/korn.yml
actors/lazycseq.yml
actors/legion.yml
actors/libkluzzer.yml
actors/map2check.yml
actors/nitwit.yml
actors/pesco.yml
actors/pinaka.yml
actors/predatorhp.yml
actors/prtest.yml
actors/smack.yml
actors/spf.yml
actors/symbiotic-tester.yml
actors/symbiotic.yml
actors/test-criterion-instrumentor.yml
actors/test-goal-annotator.yml
actors/test-goal-extractor.yml
actors/test-goal-pruner.yml
actors/test-val.yml
actors/tracerx.yml
actors/uautomizer-validate-violation-witnesses.yml
actors/uautomizer.yml
actors/ukojak.yml
actors/utaipan.yml
actors/veriabs.yml
actors/verifier-false.yml
actors/verifier_resource.yml
actors/verifuzz.yml
actors/witness-linter.yml
actors/yogar-cbmc.yml
bin/coveriteam
coveriteam/__init__.py
coveriteam/coveriteam.py
coveriteam/example_compositions.py
coveriteam/remote_client.py
coveriteam/util.py
coveriteam/actors/__init__.py
coveriteam/actors/analyzers.py
coveriteam/actors/misc.py
coveriteam/actors/testers.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/file_collector.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
coveriteam/toolconfigs/algo-selector-cst-transform.py
coveriteam/toolconfigs/algo-selector-metaval.py
examples/README.md
examples/blackbox-cegar.cvt
examples/cmc-reducer.cvt
examples/conditional-testing.cvt
examples/condtest-sequence.cvt
examples/condtest.cvt
examples/cpachecker.cvt
examples/exe-validator-witness-instrument.cvt
examples/execution-based-validation.cvt
examples/metaval.cvt
examples/remote_examples_tester.sh
examples/remote_examples_verifier.sh
examples/repeat-condtest.cvt
examples/run_examples.sh
examples/tester.cvt
examples/validating-verifier.cvt
examples/verifier-algo-selection.cvt
examples/verifier-based-tester.cvt
examples/verifier.cvt
examples/version-picking.cvt
examples/benchdefs/test-validator.xml
examples/benchdefs/test-verifier.xml
examples/c/AdditionIntMax.i
examples/c/ConversionToSignedInt.i
examples/c/CostasArray-10.c
examples/c/Madrid.c
examples/c/Problem01_label00.c
examples/c/Problem01_label15.c
examples/c/Problem02_label16.c
examples/c/cstrcat_unsafe.c
examples/c/example-nonrand.c
examples/c/gcnr2008.i
examples/c/sanfoundry_43_ground.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/tool-archives/dummy-verifier-false.zip
examples/tool-archives/dummy-verifier-false.zip.license
examples/witnesses/ConversionToSignedInt_nooverflow_witness.graphml
examples/witnesses/Problem01_label15_reach_safety.graphml
examples/witnesses/gcnr2008_violation_witness.graphml
lib/BenchExec-3.4.dev0-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
lib/certifi-2020.6.20-py2.py3-none-any.whl
lib/chardet-3.0.4-py2.py3-none-any.whl
lib/idna-2.10-py2.py3-none-any.whl
lib/requests-2.24.0-py2.py3-none-any.whl
lib/urllib3-1.25.10-py2.py3-none-any.whl
test/test_tutorial.py
test/tests.py