WARNING - log/block01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/spintrcritical08 did not appear to complete execution
Optimization Level :  -Os
POSIX Enabled      :  no
Developmental Code :  no
12 uncovered ranges found
Bytes Analyzed          : 36076
Bytes Not Executed      : 442
Percentage Executed     : 98.77
Percentage Not Executed : 1.225
====== Largest Range Sizes (Size and Count)======
   323      1
    23      1
    21      1
    19      1
    17      1
    10      1
     9      1
     7      1
     6      1
     3      1
     2      2
=====================================