Skip to content

Assignment 1

Jump to bottom
guanqin-123 edited this page Feb 26, 2022 · 11 revisions

Assignment-1 folder layout

$tree Assignment-1
├── Assignment-1.cpp
├── Assignment-1.h
├── Test1.cpp
├── CMakeLists.txt

1. Get the latest studying ENV

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

docker pull svftools/teaching-software-verification:latest

* 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

* Make sure you are opening the newly executed container with the same series number. (You can hover the mouse on the container)

* Finally attach to it again and you will be in the latest ENV

2. Assignment 1 coding task

  • Implement methods printPath and DFS of class GraphTraversal in Assignment-1.cpp.
  • Pass the test without any assertion by Test1.cpp
  • Submit Assignment-1.cpp to canvas. Your implementation will be evaluated against our 10 internal tests. You will get the full marks if your code can pass them all. Unfortunately, our internal tests are publicly available. Here, we only provided one test case in Test1.cpp. You are encouraged to add more test cases by yourself to validate the correctness of your implementation.

*You will be working on Assignment-1.cpp only and there is NO need to modify other files under the Assignment-1 folder

3. Configuration && debugging

1. launch.json

You need to set the "program" to be the executable file of Assignment 1, i.e., "${workspaceFolder}/bin/assign-1" in launch.json in order to run and debug

2. Debug your code

*If there is an assertion or unexpected output, you will need to debug and find bugs.

Step 1: Set the breakpoint where you want to stop your program and press the 'debug' button

Step 2: 'Step over' /'Step in' / 'Step out'

  • 'Step over' to the next step of your program
  • 'Step in' to the current line of your program
  • 'Step out' to mainstream of your program where you stepped in before

Step 3: During your debugging, you can also watch the value of a variable you are interested in.

More information about C++

Clone this wiki locally