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

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