WARNING - log/block03 did not appear to complete execution
WARNING - log/block04 did not appear to complete execution
WARNING - log/minimum did not appear to complete execution
WARNING - log/paranoia did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/sp53 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 :  -Os
POSIX Enabled      :  yes
Developmental Code :  no
1 uncovered ranges found
Bytes Analyzed          : 65256
Bytes Not Executed      : 4
Percentage Executed     : 99.99
Percentage Not Executed : 0.00613
====== Largest Range Sizes (Size and Count)======
     4      1
=====================================