Expand microtimer contract tests

Author: Vanderhell

tests/CMakeLists.txt

@@ -0,0 +1,14 @@
+add_executable(microtimer_tests test_all.c)
+target_link_libraries(microtimer_tests PRIVATE microtimer)
+target_compile_features(microtimer_tests PRIVATE c_std_99)
+add_test(NAME microtimer_tests COMMAND microtimer_tests)
+
+add_executable(microtimer_c_consumer consumers/c_consumer.c)
+target_link_libraries(microtimer_c_consumer PRIVATE microtimer)
+target_compile_features(microtimer_c_consumer PRIVATE c_std_99)
+
+add_executable(microtimer_cpp_consumer consumers/cpp_consumer.cpp)
+target_link_libraries(microtimer_cpp_consumer PRIVATE microtimer)
+set_target_properties(microtimer_cpp_consumer PROPERTIES CXX_STANDARD 11 CXX_STANDARD_REQUIRED YES)
+
+add_subdirectory(compile_fail)

tests/add_subdirectory_consumer/CMakeLists.txt

@@ -0,0 +1,7 @@
+cmake_minimum_required(VERSION 3.21)
+project(microtimer_add_subdirectory_consumer LANGUAGES C)
+
+add_subdirectory(../.. microtimer-build)
+
+add_executable(add_subdirectory_consumer main.c)
+target_link_libraries(add_subdirectory_consumer PRIVATE microtimer::microtimer)

tests/add_subdirectory_consumer/main.c

@@ -0,0 +1,22 @@
+#include "mtimer.h"
+
+static uint32_t subdir_clock(void)
+{
+    return 0u;
+}
+
+static void subdir_cb(uint8_t id, void *ctx)
+{
+    (void)id;
+    (void)ctx;
+}
+
+int main(void)
+{
+    mtimer_t tm;
+
+    if (mtimer_init(&tm, subdir_clock) != MTIMER_OK) {
+        return 1;
+    }
+    return mtimer_create(&tm, "subdir", 1u, MTIMER_PERIODIC, subdir_cb, 0) >= 0 ? 0 : 1;
+}

tests/compile_fail/CMakeLists.txt

@@ -0,0 +1,26 @@
+function(microtimer_add_compile_fail_test name source regex)
+    set(binary_dir "${CMAKE_CURRENT_BINARY_DIR}/${name}")
+    try_compile(
+        ${name}_RESULT
+        "${binary_dir}"
+        "${CMAKE_CURRENT_SOURCE_DIR}/${source}"
+        CMAKE_FLAGS
+            "-DCMAKE_C_STANDARD=99"
+            "-DCMAKE_C_STANDARD_REQUIRED=ON"
+            "-DCMAKE_TRY_COMPILE_TARGET_TYPE=STATIC_LIBRARY"
+        OUTPUT_VARIABLE ${name}_OUTPUT)
+
+    if(${name}_RESULT)
+        message(FATAL_ERROR "compile-fail test '${name}' unexpectedly compiled")
+    endif()
+
+    string(REGEX MATCH "${regex}" ${name}_MATCH "${${name}_OUTPUT}")
+    if(NOT "${${name}_MATCH}")
+        message(FATAL_ERROR "compile-fail test '${name}' did not emit expected diagnostic")
+    endif()
+endfunction()
+
+microtimer_add_compile_fail_test(max_timers_zero max_timers_zero.c "MTIMER_MAX_TIMERS must be >= 1")
+microtimer_add_compile_fail_test(max_timers_negative max_timers_negative.c "MTIMER_MAX_TIMERS must be >= 1")
+microtimer_add_compile_fail_test(max_timers_256 max_timers_256.c "MTIMER_MAX_TIMERS must be <= 255")
+microtimer_add_compile_fail_test(max_timers_too_large max_timers_too_large.c "MTIMER_MAX_TIMERS must be <= 255")

tests/compile_fail/max_timers_256.c

@@ -0,0 +1,7 @@
+#define MTIMER_MAX_TIMERS 256
+#include "../../include/mtimer_config.h"
+
+int main(void)
+{
+    return 0;
+}

tests/compile_fail/max_timers_negative.c

@@ -0,0 +1,7 @@
+#define MTIMER_MAX_TIMERS (-1)
+#include "../../include/mtimer_config.h"
+
+int main(void)
+{
+    return 0;
+}

tests/compile_fail/max_timers_too_large.c

@@ -0,0 +1,7 @@
+#define MTIMER_MAX_TIMERS 1024
+#include "../../include/mtimer_config.h"
+
+int main(void)
+{
+    return 0;
+}

tests/compile_fail/max_timers_zero.c

@@ -0,0 +1,7 @@
+#define MTIMER_MAX_TIMERS 0
+#include "../../include/mtimer_config.h"
+
+int main(void)
+{
+    return 0;
+}

tests/consumers/c_consumer.c

@@ -0,0 +1,25 @@
+#include "mtimer.h"
+
+static uint32_t consumer_clock(void)
+{
+    return 0u;
+}
+
+static void consumer_cb(uint8_t id, void *ctx)
+{
+    (void)id;
+    (void)ctx;
+}
+
+int main(void)
+{
+    mtimer_t tm;
+
+    if (mtimer_init(&tm, consumer_clock) != MTIMER_OK) {
+        return 1;
+    }
+    if (mtimer_create(&tm, "consumer", 1u, MTIMER_ONESHOT, consumer_cb, 0) < 0) {
+        return 1;
+    }
+    return 0;
+}

tests/consumers/cpp_consumer.cpp

@@ -0,0 +1,23 @@
+extern "C" {
+#include "mtimer.h"
+}
+
+static uint32_t consumer_clock()
+{
+    return 0u;
+}
+
+static void consumer_cb(uint8_t id, void *ctx)
+{
+    (void)id;
+    (void)ctx;
+}
+
+int main()
+{
+    mtimer_t tm;
+    return mtimer_init(&tm, consumer_clock) == MTIMER_OK &&
+                   mtimer_create(&tm, "cpp", 1u, MTIMER_ONESHOT, consumer_cb, nullptr) >= 0
+               ? 0
+               : 1;
+}