How do you know the encoders are not changing? Are you simply trying to print your xxxxWheelCount variables to a terminal and noticed they don't change?
If so, then that's likely the
only problem and your encoders are just fine. Your variables are probably declared
long int and, as such, you need to typecast them before printing. Try the following:
Code:
printf("Left encoder = %d", (int)LeftWheelCount\r\n);
and see if it works. Sometimes the simple things really get on your way!