WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/psxtimer01 did not appear to complete execution
WARNING - log/rtmonuse did not appear to complete execution
WARNING - log/sp53 did not appear to complete execution
WARNING - log/spintrcritical08 did not appear to complete execution
WARNING - log/spintrcritical12 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/tmck did not appear to complete execution
Optimization Level :  -Os
POSIX Enabled      :  yes
Developmental Code :  yes
304 uncovered ranges found
Bytes Analyzed          : 143472
Bytes Not Executed      : 28780
Percentage Executed     : 79.94
Percentage Not Executed : 20.06
====== Largest Range Sizes (Size and Count)======
  3192      1
  1628      1
  1560      1
  1324      1
  1024      1
   912      2
   880      1
   776      1
   768      1
   676      1
   652      1
   620      1
   540      1
   536      1
   444      1
=====================================