Add tests for UCTimers

test/test_runner.c

@@ -18,6 +18,7 @@ extern Suite *buffer_suite(void);
 extern Suite *clock_suite(void);
 extern Suite *seq_suite(void);
 extern Suite *sat_math_suite(void);
+extern Suite *timers_suite(void);
 
 static suite_func suites[] = {
     bitvec_suite,
@@ -31,7 +32,8 @@ static suite_func suites[] = {
     buffer_suite,
     clock_suite,
     seq_suite,
-    sat_math_suite
+    sat_math_suite,
+    timers_suite
 };
 
 int