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/classifier-2ls.yml
actors/classifier-cbmc.yml
actors/classifier-cpa-seq.yml
actors/classifier-divine.yml
actors/classifier-esbmc-incr.yml
actors/classifier-esbmc-kind.yml
actors/classifier-goblint.yml
actors/classifier-pesco.yml
actors/classifier-symbiotic.yml
actors/classifier-uautomizer.yml
actors/classifier-ukojak.yml
actors/classifier-utaipan.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-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/cst-transform.yml
actors/dartagnan-validate-violation-witnesses.yml
actors/dartagnan.yml
actors/deagle.yml
actors/divine.yml
actors/ebf.yml
actors/esbmc-incr.yml
actors/esbmc-kind.yml
actors/feature-extractor.yml
actors/frama-c-sv.yml
actors/fshell-validator.yml
actors/fusebmc.yml
actors/gacal.yml
actors/gazer-theta.yml
actors/gdart.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/metaval-symbiotic-validate-violation-witnesses.yml
actors/metaval-uautomizer-validate-violation-witnesses.yml
actors/nitwit.yml
actors/pesco.yml
actors/pinaka.yml
actors/predatorhp.yml
actors/prtest.yml
actors/sesl.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/ugemcutter.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/witness-validator-cpachecker.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/parallel_portfolio.py
coveriteam/language/predmap_join.py
coveriteam/language/utilactors.py
coveriteam/language/witness_join.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
coveriteam/toolconfigs/classifier-cst-transform.py
coveriteam/toolconfigs/feature-encoder-cst-transform.py
examples/README.md
examples/cpachecker.cvt
examples/exe-validator-witness-instrument.cvt
examples/execution-based-validation.cvt
examples/portfolio-in-portfolio.cvt
examples/portfolio-tester.cvt
examples/portfolio.cvt
examples/reducer-based-conditional-model-checker.cvt
examples/remote_examples_tester.sh
examples/remote_examples_verifier.sh
examples/run_examples.sh
examples/tacas22_examples.sh
examples/tester.cvt
examples/validating-portfolio.cvt
examples/validating-verifier.cvt
examples/verifier-algo-selection.cvt
examples/verifier-based-tester.cvt
examples/verifier-monolith-algo-selection.cvt
examples/verifier.cvt
examples/version-picking.cvt
examples/Component-based_CEGAR/README.md
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-metaval-uautomizer.cvt
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-pathProg-uautomizer.cvt
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-cpachecker_ref-uautomizer.cvt
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-fshell_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-invariantWitness_cex-uautomizer_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-predmap_cex-cpachecker_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-predmap_cex-fshell_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-predmap_cex-pathProg-symbiotic_ref-cpachecker.cvt
examples/Component-based_CEGAR/cCegar-predmap_cex-uautomizer_ref-cpachecker.cvt
examples/Component-based_CEGAR/actors/cpa-predicate-NoCegar-predmap.yml
examples/Component-based_CEGAR/actors/cpa-predicate-NoCegar.yml
examples/Component-based_CEGAR/actors/cpa-predicate-craig-interpolation-predmap.yml
examples/Component-based_CEGAR/actors/cpa-predicate-craig-interpolation.yml
examples/Component-based_CEGAR/actors/cpa-validate-violation-witnesses.yml
examples/Component-based_CEGAR/actors/cpa-witnesses-instrumentor.yml
examples/Component-based_CEGAR/actors/fshell-validator.yml
examples/Component-based_CEGAR/actors/metaval-symbiotic-validate-violation-witnesses.yml
examples/Component-based_CEGAR/actors/metaval-uautomizer-validate-violation-witnesses.yml
examples/Component-based_CEGAR/actors/predmap-false.txt
examples/Component-based_CEGAR/actors/predmap-false.txt.license
examples/Component-based_CEGAR/actors/resource-limit-any-component.yml
examples/Component-based_CEGAR/actors/symbiotic.yml
examples/Component-based_CEGAR/actors/uautomizer-validate-violation-witnesses.yml
examples/Component-based_CEGAR/actors/uautomizer.yml
examples/CondTest/README.md
examples/CondTest/conditional-testing.cvt
examples/CondTest/condtest-sequence.cvt
examples/CondTest/condtest.cvt
examples/CondTest/repeat-condtest.cvt
examples/MetaVal/README.md
examples/MetaVal/metaval.cvt
examples/test-data/benchdefs/test-validator.xml
examples/test-data/benchdefs/test-verifier.xml
examples/test-data/c/AdditionIntMax.i
examples/test-data/c/ConversionToSignedInt.i
examples/test-data/c/CostasArray-10.c
examples/test-data/c/Madrid.c
examples/test-data/c/Problem01_label00.c
examples/test-data/c/Problem01_label15.c
examples/test-data/c/Problem02_label16.c
examples/test-data/c/cstrcat_unsafe.c
examples/test-data/c/error.c
examples/test-data/c/error.i
examples/test-data/c/example-nonrand.c
examples/test-data/c/gcnr2008.i
examples/test-data/c/jain_1-1.c
examples/test-data/c/rangesum.i
examples/test-data/c/sanfoundry_43_ground.i
examples/test-data/c/slicingCondition.txt
examples/test-data/c/slicingReducer-example.c
examples/test-data/c/test-repeat-condtest.c
examples/test-data/c/test.c
examples/test-data/c/test1.c
examples/test-data/properties/coverage-branches.prp
examples/test-data/properties/coverage-error-call.prp
examples/test-data/properties/coverage-statements.prp
examples/test-data/properties/no-overflow.prp
examples/test-data/properties/termination.prp
examples/test-data/properties/unreach-call.prp
examples/test-data/properties/valid-memcleanup.prp
examples/test-data/properties/valid-memsafety.prp
examples/test-data/tool-archives/dummy-verifier-false.zip
examples/test-data/tool-archives/dummy-verifier-false.zip.license
examples/test-data/witnesses/ConversionToSignedInt_nooverflow_witness.graphml
examples/test-data/witnesses/Problem01_label15_reach_safety.graphml
examples/test-data/witnesses/gcnr2008_violation_witness.graphml
lib/BenchExec-3.10.dev0-py2.py3-none-any.whl
lib/PyYAML-5.4.1-cp38-cp38-manylinux1_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_cCegar.py
test/test_portfolio.py
test/test_tutorial.py
test/tests.py