Added saturating math functions

test/test_runner.c

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