The correctness of a program is checked by executing it on the test cases and comparing the program
output with the expected correct output. More details about this correctness checking process are
documented in Appendix A.2.
alphacode