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 :  yes
Bytes Analyzed           : 137546
Bytes Not Executed       : 20294
Percentage Executed      : 85.25
Percentage Not Executed  : 14.75
Uncovered ranges found   : 358
Total branches found     : 2337
Uncovered branches found : 669
   284 branches always taken
   385 branches never taken
====== Largest Range Sizes (Size and Count)======
   888      1
   880      1
   832      1
   824      1
   532      1
   528      1
   524      1
   488      1
   444      1
   420      1
   400      1
   396      1
   384      1
   380      1
   344      1
=====================================