test11
ATF_TC_WITHOUT_HEAD(test11);
ATF_TC_BODY(test11, tc)
ATF_TP_ADD_TC(tp, test11);
ATF_TC_WITHOUT_HEAD(test11);
ATF_TC_BODY(test11, tc)
ATF_TP_ADD_TC(tp, test11);
{ test11, 11, 1 },