[Bug] kecc framework bug for variable redefinition?

[hqqkun]

In Homework 2, when I tested the KECC framework with the following code snippet that involves global variable redefinition:

int nonce = 1;
int nonce = 100;

The output was var i32 @nonce = 100, indicating that the code at this line in the KECC framework does not handle variable redefinition properly. This suggests that the framework does not address this issue. Is this a bug, or is it intentional to encourage students to modify the code?

[Lee-Janggun]

IIRC that part probably doesn't account for global variables, but only local ones. In the test case we only have a single global variable nonce (which is randomized for testing purposes), so it does make sense your example went through.