switch(state_flag) is a wrong condition #55
Description
In the situation of the figure above, the state flag is 00110110 and the last 2 bits indicate the slot is fully programmed. However, the "case full" branch will not be coverred. It will only be triggered if state_flag==00000010.
Line 716, 753, 793 have this problem