X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibpspp%2Fabt.at;h=454acb512e501e19c711361fef287d11453e0e85;hb=6c471f2f6675ed32e6d550adfda1106f1baf1421;hp=df4b34a8b2e6b730a0f5f320006f9c975f368db2;hpb=5e05ce94d98d7bb9ef99d53334429ff183bd1b93;p=pspp

diff --git a/tests/libpspp/abt.at b/tests/libpspp/abt.at
index df4b34a8b2..454acb512e 100644
--- a/tests/libpspp/abt.at
+++ b/tests/libpspp/abt.at
@@ -18,13 +18,14 @@ AT_BANNER([Augmented binary tree (ABT) library])
 
 m4_define([CHECK_ABT],
   [AT_SETUP([ABT -- $1])
+   AT_KEYWORDS([$2])
    AT_CHECK([abt-test $1])
    AT_CLEANUP])
 
 CHECK_ABT([insert-any-remove-any])
 CHECK_ABT([insert-any-remove-same])
 CHECK_ABT([insert-any-remove-reverse])
-CHECK_ABT([random-sequence])
+CHECK_ABT([random-sequence], [slow])
 CHECK_ABT([insert-ordered])
 CHECK_ABT([moved])
 CHECK_ABT([changed])