To build and run the container:

./download.sh
docker build -t tractor-crat:latest .
docker run -it tractor-crat:latest

Inside the container, to translate all test cases and execute test vectors:

./translate_all.py
./deployment/scripts/github-actions/run_rust.sh --keep-going

---

To translate an individual test case:

./translate.sh Public-Tests/B01_organic/bin2hex_lib

To test an individual test case:

./deployment/scripts/github-actions/run_rust.sh -m Public-Tests/B01_organic/bin2hex_lib