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 :  yes
Bytes Analyzed           : 148689
Bytes Not Executed       : 22599
Percentage Executed      :  84.8
Percentage Not Executed  :  15.2
Uncovered ranges found   : 327
Total branches found     : 2479
Uncovered branches found : 775
   184 branches always taken
   591 branches never taken
====== Largest Range Sizes (Size and Count)======
  1028      1
   932      1
   852      1
   832      1
   624      1
   572      1
   548      1
   504      1
   492      1
   480      1
   472      1
   408      1
   404      1
   364      1
   324      1
=====================================