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/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 :  -Os
POSIX Enabled      :  no
Developmental Code :  no
25 uncovered ranges found
Bytes Analyzed          : 39172
Bytes Not Executed      : 574
Percentage Executed     : 98.53
Percentage Not Executed : 1.465
====== Largest Range Sizes (Size and Count)======
   338      1
    36      1
    26      1
    20      1
    18      4
    10      1
     8      2
     6      2
     4     10
     2      2
=====================================