X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibrary.at;h=dce69dea07f29de056f5af84864065eb0f54637a;hb=3f192f2330cf2630c98b587e7fc5cd93165c5b48;hp=ec50e23ab9fd7bbce6b69c623e860185c1d98c69;hpb=7fcfe998c5e3356fe04fb183f9f33d3c9fbbb387;p=openvswitch

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