X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibpspp%2Frange-tower.at;fp=tests%2Flibpspp%2Frange-tower.at;h=77fccf2175d3b9211e4015b73138a198a128efc9;hb=4bc7fb8814bc15858ab801be55b3b6cd79dd06e6;hp=0000000000000000000000000000000000000000;hpb=6b9ce07bad5d1d0b826c620163f777d55a1f47b3;p=pspp

diff --git a/tests/libpspp/range-tower.at b/tests/libpspp/range-tower.at
new file mode 100644
index 0000000000..77fccf2175
--- /dev/null
+++ b/tests/libpspp/range-tower.at
@@ -0,0 +1,15 @@
+AT_BANNER([range tower library])
+
+m4_define([CHECK_RANGE_TOWER],
+  [AT_SETUP([range-tower -- $1])
+   AT_CHECK([range-tower-test $1])
+   AT_CLEANUP])
+
+CHECK_RANGE_TOWER([set1])
+CHECK_RANGE_TOWER([set0])
+CHECK_RANGE_TOWER([insert0])
+CHECK_RANGE_TOWER([insert1])
+CHECK_RANGE_TOWER([delete])
+CHECK_RANGE_TOWER([move])
+CHECK_RANGE_TOWER([pool])
+CHECK_RANGE_TOWER([destroy-null])