Skip to content

Update to the latest Docker Image

guanqin-123 edited this page Feb 26, 2022 · 4 revisions

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

Clone this wiki locally