WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/spintrcritical08 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
WARNING - log/spintrcritical16 did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
Optimization Level :  -Os
POSIX Enabled      :  yes
Developmental Code :  no
Bytes Analyzed           : 81158
Bytes Not Executed       : 303
Percentage Executed      : 99.63
Percentage Not Executed  : 0.3733
Uncovered ranges found   : 29
Total branches found     : 1439
Uncovered branches found : 166
   38 branches always taken
   128 branches never taken
====== Largest Range Sizes (Size and Count)======
    40      1
    28      1
    20      1
    16      3
    12      2
     8     15
     4      6
=====================================