22#define BK_SENSOR_PIN POTENCIO
23#define R2D_PIN BUTTON_1
24#define TSON_PIN BUTTON_2
25#define AS_READY_PIN BUTTON_3
26#define STOP_PIN BUTTON_4
27#define STATE_IDLE_GREEN_LED_1_PIN GREEN_LED_1
28#define STATE_IDLE_GREEN_LED_2_PIN GREEN_LED_2
29#define STATE_IDLE_GREEN_LED_3_PIN GREEN_LED_3
30#define STATE_DRIVING_RED_LED_1_PIN RED_LED_1
31#define STATE_DRIVING_RED_LED_2_PIN RED_LED_2
32#define STATE_ASDRIVING_YELLOW_LED_1_PIN YELLOW_LED_1
33#define STATE_ASDRIVING_YELLOW_LED_2_PIN YELLOW_LED_2
124int main(
int argc,
char **argv) {
volatile uint16_t brakeValue
#define STATE_ASDRIVING_YELLOW_LED_2_PIN
#define STATE_IDLE_GREEN_LED_1_PIN
#define STATE_DRIVING_RED_LED_2_PIN
void test_IDLE_2_ASDRIVING()
#define STATE_DRIVING_RED_LED_1_PIN
#define STATE_IDLE_GREEN_LED_3_PIN
#define STATE_ASDRIVING_YELLOW_LED_1_PIN
void test_IDLE_2_DRIVING()
void test_ASDRIVING_2_IDLE()
void test_state_machine()
void test_DRIVING_2_IDLE()
#define STATE_IDLE_GREEN_LED_2_PIN