## -*- sh -*-

set -e

$top_builddir/test/integer_set_test