- (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/)
- (Windows):
- Follow the manual installation steps for Windows Subsystem for Linux [here](https://docs.microsoft.com/en-us/windows/wsl/install). On step 1, follow the recommendation of updating to WSL 2. On step 6, you can download Ubuntu 18.04 LTS. You do not necessarily need to install Windows Terminal.
- Now go [here](https://docs.docker.com/desktop/windows/install/) and follow the "Install Docker Desktop on Windows" instructions. You can then start Docker Desktop and follow the quick start quide.
Select File -> Open and select the entire folder.
VS Code will propose to install "Dev Container". Click "install".
VS Code will give you a message similar to:
Folder contains a Dev Container configuration file. Reopen folder to develop in a container.
Select "Reopen in container".
Now you should have the folder open while VS Code is in "container development mode".
Create a new terminal using Terminal -> New Terminal.
Run the following:
act4e-check TestSimpleIntro
This will have created a file out-results/result-TestSimpleIntro.html.
From the file tree to the left, right-click the file and select "open preview". You will see the results of the testing.
Now browse the Python files in src/. Verify that autocompletion works..