Skip to content

Yale-PROCTOR/proctor-sp-dockerfile

Repository files navigation

To build and run the container:

./download.sh
docker build -t proctor-sp:latest .
docker run -it proctor-sp:latest

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

cd PUBLIC-Test-Corpus-static
./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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors