WARNING - log/block01 did not appear to complete execution
WARNING - log/block02 did not appear to complete execution
WARNING - log/block03 did not appear to complete execution
WARNING - log/block04 did not appear to complete execution
WARNING - log/block05 did not appear to complete execution
WARNING - log/block07 did not appear to complete execution
WARNING - log/block09 did not appear to complete execution
WARNING - log/block10 did not appear to complete execution
WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/spprintk did not appear to complete execution
WARNING - log/stringto01 did not appear to complete execution
Optimization Level :  -Os
POSIX Enabled      :  yes
Developmental Code :  yes
Bytes Analyzed           : 103194
Bytes Not Executed       : 16383
Percentage Executed      : 84.12
Percentage Not Executed  : 15.88
Uncovered ranges found   : 387
Total branches found     : 3421
Uncovered branches found : 1721
   1446 branches always taken
   275 branches never taken
====== Largest Range Sizes (Size and Count)======
   844      1
   794      1
   724      1
   598      1
   406      1
   396      1
   388      1
   358      1
   346      1
   318      1
   280      1
   250      1
   212      1
   210      1
   198      1
=====================================