En proteus funciona sin port_b_pullups(FALSE);, veo como incremento la variable al pulsar, pero al revés no. sin embargo físicamente no funciona de ninguna de las dos maneras.
así es como funciona físicamente...
(http://www.todopic.com.ar/foros/imgtiny/2wcgsg8.jpg)
La interrupción del puerto B0 se activa al ponerla a nivel bajo. Tienes que activar las resistencias internas o poner una resistencia externa de 10K y el pulsador conectarle a masa.
Un saludo
Para este micro por lo menos, si tiene pull-up y creo, lo estoy diciendo de memoria, que el flanco es solamente configurable para los pines 4-7.
(http://www.todopic.com.ar/foros/index.php?action=dlattach;topic=28956.0;attach=10863)
Un saludo.