Update to the latest Docker Image

Jump to bottom

Mohamad Barbar edited this page Feb 27, 2022 · 4 revisions

1. Please download the latest image by entering the command in cmd or terminal:

docker pull svftools/teaching-software-verification:latest

2. Then run the latest image by entering the command in cmd or terminal:

Mac & Linux: docker run -itd svftools/teaching-software-verification:latest /bin/bash
Windows: docker run -itd svftools/teaching-software-verification:latest

3. Make sure you are opening the newly executed container with the same series number. (You can hover the mouse on the container)

4. Finally attach to it like you originally did before and you will be in the latest ENV