Update to the latest Docker Image

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

docker pull svftools/teaching-software-verification:latest

2. Then run the latest image with 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 again and you will be in the latest ENV