Update to the latest Docker Image

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