WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/sp20 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
WARNING - log/tm01 did not appear to complete execution
WARNING - log/tm02 did not appear to complete execution
WARNING - log/tm03 did not appear to complete execution
WARNING - log/tm04 did not appear to complete execution
WARNING - log/tm05 did not appear to complete execution
WARNING - log/tm06 did not appear to complete execution
WARNING - log/tm07 did not appear to complete execution
WARNING - log/tm08 did not appear to complete execution
WARNING - log/tm09 did not appear to complete execution
WARNING - log/tm10 did not appear to complete execution
WARNING - log/tm11 did not appear to complete execution
WARNING - log/tm12 did not appear to complete execution
WARNING - log/tm13 did not appear to complete execution
WARNING - log/tm14 did not appear to complete execution
WARNING - log/tm15 did not appear to complete execution
WARNING - log/tm16 did not appear to complete execution
WARNING - log/tm17 did not appear to complete execution
WARNING - log/tm18 did not appear to complete execution
WARNING - log/tm19 did not appear to complete execution
WARNING - log/tm20 did not appear to complete execution
WARNING - log/tm21 did not appear to complete execution
WARNING - log/tm22 did not appear to complete execution
WARNING - log/tm23 did not appear to complete execution
WARNING - log/tm24 did not appear to complete execution
WARNING - log/tm25 did not appear to complete execution
WARNING - log/tm26 did not appear to complete execution
WARNING - log/tm27 did not appear to complete execution
WARNING - log/tm28 did not appear to complete execution
WARNING - log/tm29 did not appear to complete execution
WARNING - log/tmck did not appear to complete execution
WARNING - log/tmoverhd did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 38125
Bytes Not Executed       : 1027
Percentage Executed      : 97.31
Percentage Not Executed  : 2.694
Uncovered ranges found   : 376
No branch information found
====== Largest Range Sizes (Size and Count)======
    53      1
    32      1
    23      1
    22      1
    19      1
    18      1
    17      1
    14      1
    11      2
    10      1
     9      1
     8      1
     7      4
     6      1
     5      2
=====================================