Checking data/9menu-1.10/.pc/04_signedness.diff/9menu.c ...
Checking data/9menu-1.10/.pc/04_signedness.diff/9menu.c: SET_PROPERTIES_MANUALLY...
1/4 files checked 24% done
Checking data/9menu-1.10/.pc/05_morekeys.diff/9menu.c ...
Checking data/9menu-1.10/.pc/05_morekeys.diff/9menu.c: SET_PROPERTIES_MANUALLY...
2/4 files checked 49% done
Checking data/9menu-1.10/.pc/07_remove-resource-leak.diff/9menu.c ...
Checking data/9menu-1.10/.pc/07_remove-resource-leak.diff/9menu.c: SET_PROPERTIES_MANUALLY...
3/4 files checked 74% done
Checking data/9menu-1.10/9menu.c ...
Checking data/9menu-1.10/9menu.c: SET_PROPERTIES_MANUALLY...
4/4 files checked 100% done