[pintos-anon] / alarm-single.ck

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