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/spintrcritical17 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 55545
Bytes Not Executed       : 416
Percentage Executed      : 99.25
Percentage Not Executed  : 0.7489
Uncovered ranges found   : 36
Total branches found     : 932
Uncovered branches found : 155
   38 branches always taken
   117 branches never taken
====== Largest Range Sizes (Size and Count)======
    36      1
    24      4
    20      1
    16      7
    12      2
     8     12
     4      9
=====================================