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/sp32 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/tmck did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
36 uncovered ranges found
Bytes Analyzed          : 89500
Bytes Not Executed      : 2088
Percentage Executed     : 97.67
Percentage Not Executed : 2.333
====== Largest Range Sizes (Size and Count)======
  1032      1
   184      1
   160      1
   140      1
   132      1
    36      3
    32      2
    28      2
    20      3
    16      3
    12      3
     8      2
     4     13
=====================================