WARNING - log/spintrcritical08 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  yes
Bytes Analyzed           : 94266
Bytes Not Executed       : 18888
Percentage Executed      : 79.96
Percentage Not Executed  : 20.04
Uncovered ranges found   : 282
Total branches found     : 1683
Uncovered branches found : 0
   0 branches always taken
   0 branches never taken
====== Largest Range Sizes (Size and Count)======
  1020      1
   900      1
   800      1
   748      1
   524      1
   516      1
   508      1
   452      1
   436      1
   416      1
   384      1
   288      2
   280      1
   276      1
   264      1
=====================================