WARNING - log/block01 did not appear to complete execution
WARNING - log/block02 did not appear to complete execution
WARNING - log/block03 did not appear to complete execution
WARNING - log/block04 did not appear to complete execution
WARNING - log/block05 did not appear to complete execution
WARNING - log/block07 did not appear to complete execution
WARNING - log/block09 did not appear to complete execution
WARNING - log/block10 did not appear to complete execution
WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psx07 did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
WARNING - log/spprintk did not appear to complete execution
WARNING - log/stringto01 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
Bytes Analyzed           : 68518
Bytes Not Executed       : 604
Percentage Executed      : 99.12
Percentage Not Executed  : 0.8815
Uncovered ranges found   : 50
No branch information found
====== Largest Range Sizes (Size and Count)======
    52      1
    46      2
    34      1
    26      2
    24      1
    20      1
    18      1
    16      4
    14      3
    12      4
    10      8
     8      2
     6      6
     4      6
     2      8
=====================================