tests: add gpio-sync test

Author: bradjc

examples/tests/gpio/gpio_sync/Makefile

@@ -0,0 +1,11 @@
+# Makefile for user application
+
+# Specify this directory relative to the current application.
+TOCK_USERLAND_BASE_DIR = ../../../..
+
+# Which files to compile.
+C_SRCS := $(wildcard *.c)
+
+# Include userland master makefile. Contains rules and flags for actually
+# building the application.
+include $(TOCK_USERLAND_BASE_DIR)/AppMakefile.mk

examples/tests/gpio/gpio_sync/README.md

@@ -0,0 +1,21 @@
+GPIO Sync Interrupt Test App
+=============
+
+Test the libtock-sync/peripherals/gpio synchronous interrupt
+event functions.
+
+Expected Output
+---------------
+
+```
+[Test] GPIO Sync Interrupt
+Jump GPIO pin 0 low to start test.
+Then move the jumper to VCC
+tock$
+Pin 0 went high
+Now jumper back to ground
+Pin 0 went low
+Now jumper back to high
+Pin 0 went back high
+Success! Test done
+```

examples/tests/gpio/gpio_sync/main.c

@@ -0,0 +1,34 @@
+#include <stdio.h>
+
+#include <libtock/interface/console.h>
+#include <libtock-sync/peripherals/gpio.h>
+#include <libtock/tock.h>
+
+int main(void) {
+  returncode_t ret;
+
+  printf("[Test] GPIO Sync Interrupt\n");
+  printf("Jump GPIO pin 0 low to start test.\n");
+  printf("Then move the jumper to VCC\n");
+
+  ret = libtocksync_gpio_wait_until_high(0, libtock_pull_down);
+  if (ret != RETURNCODE_SUCCESS) {
+    printf("[ERROR] %s\n", tock_strrcode(ret));
+    return -1;
+  }
+
+  printf("Pin 0 went high\n");
+  printf("Now jumper back to ground\n");
+
+  libtocksync_gpio_wait_until_low(0, libtock_pull_up);
+
+  printf("Pin 0 went low\n");
+  printf("Now jumper back to high\n");
+
+  libtocksync_gpio_wait_until_changed(0, libtock_pull_down);
+
+  printf("Pin 0 went back high\n");
+  printf("Success! Test done\n");
+
+  return 0;
+}