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/sp39 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 :  no
21 uncovered ranges found
Bytes Analyzed          : 81616
Bytes Not Executed      : 1656
Percentage Executed     : 97.97
Percentage Not Executed : 2.029
====== Largest Range Sizes (Size and Count)======
   912      1
   160      1
   156      1
   152      1
   104      1
    32      1
    20      1
    16      2
    12      1
     8      8
     4      3
=====================================