WARNING - log/block08 did not appear to complete execution WARNING - log/bspcmdline01 did not appear to complete execution WARNING - log/paranoia did not appear to complete execution WARNING - log/psx07 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/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/stringto01 did not appear to complete execution Optimization Level : -O2 POSIX Enabled : yes Developmental Code : no Bytes Analyzed : 68727 Bytes Not Executed : 135 Percentage Executed : 99.8 Percentage Not Executed : 0.1964 Uncovered ranges found : 15 No branch information found ====== Largest Range Sizes (Size and Count)====== 32 1 20 1 16 1 8 5 4 7 =====================================