test/tcti_device_test.h

#include <stddef.h>
#include <stdbool.h>

size_t tcti_dev_init_size (void **state);
void tcti_dev_init_log (void **state);
bool tcti_dev_log_called (void **state);