File content as of revision 31:080589c1250a:

#include "mbed.h"
Serial pc(USBTX,USBRX);
DigitalOut led0(PTD0); //Octavo pin (a partir del botón de RESET).
DigitalOut led1(PTC4); //Noveno pin.
DigitalOut led2(PTC12); //Decimo pin.
DigitalOut led3(PTC3); //Onceavo pin (inicia en el nuevo carril). 
Timer crono;

int main(){
    led0 = 1;
    led1 = 1;
    led2 = 1;
    led3 = 1;
    crono.start();
    for(int i; i < 50; i++){ // Dado que la resolución es de 1.8 grados, se necesitan 200 pasos para completar un giro.
        led0 = 0;
        led1 = 1;
        led2 = 0;
        led3 = 1;
        wait(0.025‬‬);
        led0 = 0;
        led1 = 1;
        led2 = 1;
        led3 = 0;
        wait(0.025‬);
        led0 = 1;
        led1 = 0;
        led2 = 1;
        led3 = 0;
        wait(0.025‬);
        led0 = 1;
        led1 = 0;
        led2 = 0;
        led3 = 1;
        wait(0.025‬);
    }
    crono.stop();
    pc.printf("Tiempo de giro: %f seg", crono.read());
}