Open cd721 opened 3 months ago
We should be stripping # from variable names when the # was appended by the leakage tool
But when a variable is defined by the user with # we should not be stripping that # suffix.
We should be stripping # from variable names when the # was appended by the leakage tool
But when a variable is defined by the user with # we should not be stripping that # suffix.