added a dummy testing for resLoad

diff --git a/FP/src/ker/kernel.c b/FP/src/ker/kernel.c
index ca853b4b592001d0975ee081425eb49ef332d15b..adc8dd12b054225f321fbb425d28375628fdd7d9 100644 (file)
--- a/FP/src/ker/kernel.c
+++ b/FP/src/ker/kernel.c
@@ -59,7 +59,8 @@ int kernel(int optionflag,int level) {
        );
        
        for (i=0;i<testResource->frames;i++) {
-               //printf("frame %d: ",i);
+               /* Note: for the moment there is a testing abstraction violation here */
+               printf("frame %d: size=%d\n",i,((tMemory*)(testResource->pFrames[i]))->size);
        }
        
        return 0;