Test and Verify Your Code

There are 3 steps to test and verify your implementation and proof:

1. The most convenient way will be using the Coq Legacy extension in VSCode to "debug" through your code;
   you can find the detailed instructions in VSCoq Legacy Extension in VSCode
2. Run make <HW_filename>Test.vo command to generate the report containing results of all test cases;
   you can find the detailed instructions in Run make HW_filename Test.vo Command
3. Submit your work to Gradescope and see the score;
   you can find the detailed instructions in Submit to Gradescope