Can an Implementation that succesfully passes AST, CheckSem and GenCode receive the bonus points for break and continue, or are the verification tasks needed for that?
So if I did the AST, semantic analysis and code generation but NOT verification, would I be able to get the 3 = (1 + 2 + 0) bonus points for break and the 5 bonus points for optimization?
You can get points for the break codegen if you didn’t implement the verification part.
But the verification part is quite fun to implement and play around with.
Your calculation is correct.