private static int ConvertState(int state)
{
// 0 not done, 1 executing, 2 failed, 3 success, 4 aborted, 5 timeout, 6 testfail
switch (state) {
case 0: case 9: return 0;
case 1: return 1;
case 2: return 2;
case 3: return 3;
case 8: return 6;
default:
return 0;
}
}