#include <mbed.h>

int main(void)
{
    int lastbotao=0;
    
    DigitalIn botao(PTA1);
    DigitalOut led_verde(LED_GREEN);
    DigitalOut led_vermelho(LED_RED);

    led_verde=1;
    led_vermelho=0;

    while(1) {
        if(botao==1 && lastbotao==0) 
        {
            led_verde = !led_verde;
            led_vermelho = !led_vermelho;
        }
        lastbotao = botao;
        //wait(0.1);
    }
}