[pintos-anon] / alarm-multiple.ck

# -*- perl -*-
use tests::tests;
use tests::threads::alarm;
check_alarm (7);