WARNING - log/spintrcritical02 did not appear to complete execution
WARNING - log/spintrcritical03 did not appear to complete execution
WARNING - log/spintrcritical04 did not appear to complete execution
WARNING - log/spintrcritical05 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/spintrcritical17 did not appear to complete execution
Optimization Level :  -Os
POSIX Enabled      :  no
Developmental Code :  yes
Bytes Analyzed           : 107919
Bytes Not Executed       : 20260
Percentage Executed      : 81.23
Percentage Not Executed  : 18.77
Uncovered ranges found   : 360
Total branches found     : 1752
Uncovered branches found : 597
   272 branches always taken
   325 branches never taken
====== Largest Range Sizes (Size and Count)======
   888      1
   880      1
   824      1
   748      1
   532      1
   528      1
   524      1
   468      1
   444      1
   420      1
   400      1
   396      1
   384      1
   380      1
   344      1
=====================================