WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/spintrcritical10 did not appear to complete execution
WARNING - log/spintrcritical11 did not appear to complete execution
WARNING - log/spintrcritical12 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
Bytes Analyzed           : 87590
Bytes Not Executed       : 456
Percentage Executed      : 99.48
Percentage Not Executed  : 0.5206
Uncovered ranges found   : 43
Total branches found     : 1526
Uncovered branches found : 229
   59 branches always taken
   170 branches never taken
====== Largest Range Sizes (Size and Count)======
    32      1
    28      2
    24      1
    20      3
    16      6
    12      3
     8     13
     4     14
=====================================