Other ways to build docker image of SVF example project

Method 1: Pull the image in docker hub

1. Enter the command in cmd or terminal: docker pull svftools/svf-teaching:latest
2. Create and Run a container of the image: docker run -it svftools/svf-teaching:latest /bin/bash

Method 2: Build the dockerfile with VSCode extensions interface

(1) Right or secondary click the docker file in VSCode interface hub and select Build Image...

(2) Name and tag the docker image (e.g. svf-ex:latest)

(3) Once finish building, you can notice in VS Code terminal session

(4) You can find the docker image in docker images bar

(5) Create and run the container of svf-ex image:docker run -it svf-ex:latest /bin/bash

(6) You can find the docker container now is running

* using docker tips