Usage

./translate.py <input tarball> <output directory>

(A tarball can be generated using the bundler provided by https://github.com/DARPA-TRACTOR-Program/aws-translate)

Example

./translate.py \
  bundles/Public-Tests/B01_synthetic/001_helloworld.tar.gz \
  Test-Corpus/Public-Tests/B01_synthetic/001_helloworld/translated_rust

Test vector generation and translation for single-executable or single-shared-library test cases

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
skills-testgen-lib/add-test-inputs		skills-testgen-lib/add-test-inputs
skills-testgen/add-test-inputs		skills-testgen/add-test-inputs
skills-translation		skills-translation
.gitignore		.gitignore
AGENTS.md		AGENTS.md
AGENTS_TRANSLATION.md		AGENTS_TRANSLATION.md
README.md		README.md
mutate.py		mutate.py
run_with_cov.py		run_with_cov.py
run_with_cov_lib.py		run_with_cov_lib.py
run_with_san.py		run_with_san.py
run_with_san_lib.py		run_with_san_lib.py
test.py		test.py
test_lib.py		test_lib.py
translate.py		translate.py
translate_all.py		translate_all.py