|
I tried on my own and I can say that
given that code lines, the line 10 will never be active because the condition in in the if at line 5 can't be true since REFRESING is 0100 (low foru bits) while IN_USE 0001
it could be true if REFRESING = 01001.
So I can't say that EXITING and REFRESHING are two particular cases of IN_USE but they are different cases.
Are you agree with me?
|