import machine
from machine import Pin
import time
import tm1637
from tm1637 import TM1637
display = TM1637(clk=Pin(14), dio=Pin(12))
pulsadorVerde=Pin(2, Pin.IN, Pin.PULL_UP)
pulsadorRojo=Pin(4, Pin.IN, Pin.PULL_UP)
contador = 6302
display.number(contador)
estadoRojo=0
estadoVerde=0
while True:
    #pulsador rojo suma
    time.sleep_ms(3) #se fuerzan esperas de 3ms
    if not pulsadorRojo.value() and estadoRojo==0:
        estadoRojo=1
        contador=contador+1
        display.number(contador)
    if pulsadorRojo.value() and estadoRojo==1:
        estadoRojo=0
    #todos los pulsadores tienen un problema de bouncing.
    #para eso, ignoramos la entrada en una espera de tiempo
    time.sleep_ms(3) 
    if not pulsadorVerde.value() and estadoVerde==0:
        estadoVerde=1
        contador=contador-1
        display.number(contador)
    if pulsadorVerde.value() and estadoVerde==1:
        estadoVerde=0
    
#tira error porque secuencialmente solo se puede revisar un pulsador por vez
#rresolvemos esto con una FSM para cada pulsador