X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibrary.at;h=70660a2569f943a47b4d3d1b7b8122c0cc93cb84;hb=eb5ee596d9cb52885fdb65ab3b534f64f22bb149;hp=ec50e23ab9fd7bbce6b69c623e860185c1d98c69;hpb=b2fda3effc787f265b5ad5dfa967ac00627bd075;p=openvswitch

diff --git a/tests/library.at b/tests/library.at
index ec50e23a..70660a25 100644
--- a/tests/library.at
+++ b/tests/library.at
@@ -100,6 +100,18 @@ nibble   0   1   2   3   4   5   6   7   8   9  10  11  12  13  14  15
 ])
 AT_CLEANUP
 
+m4_foreach(
+  [testname],
+  [[ctz],
+   [log_2_floor],
+   [bitwise_copy],
+   [bitwise_zero],
+   [bitwise_one],
+   [bitwise_is_all_zeros]],
+  [AT_SETUP([testname[()] function])
+   AT_CHECK([test-util testname], [0], [], [])
+   AT_CLEANUP])
+
 AT_SETUP([test unix socket -- short pathname])
 AT_CHECK([test-unix-socket x])
 AT_CLEANUP