Skip to content

Assignment 2 Python

Jump to bottom
Jiawei Wang edited this page May 17, 2025 · 5 revisions

Run tests

  • Run ctest -R "ass2-py/" to test all the test cases for Assignment 2.

Submitting Your Work

  • Upload Assignment_2.py to UNSW WebCMS for your submission when you are finished with this assignment.

Your implementation will be evaluated against X number of our internal tests. If you pass Y tests, you will receive Y/X * 100% marks. Unfortunately, our internal tests are publicly unavailable. Here, we only provided limited test cases 3 test cases under Assignment-2/Tests/testcases/sse . You are encouraged to add more test cases by yourself to validate the correctness of your implementation.

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

SVF APIs to help with your implementation SVF Z3 API.

3. Configuration, Debug and visualize ICFG

To enable debugging and running, switch your executable by setting the program and args fields as described here or follow the below screenshot.

Clone this wiki locally