add test case to alltests