Welcome to the GBF Test Portal

This was built to track decompiler and CFG progress.

Decompiler Output

function nestedConditions(a#1, b#0)
{
    <temp.res>#5 = "";
    // RegionId(5)
    if (a#1) 
    {
        <temp.res>#6 = <temp.res>#4 + "a";
        // RegionId(3)
        if (b#0) 
        {
            <temp.res>#7 = <temp.res>#4 + "b";
        }
        // RegionId(2)
        else
        {
            <temp.res>#8 = <temp.res>#4 + "B";
        }
        <temp.res>#9 = <temp.res>#4 + "D";
    }
    // RegionId(1)
    else
    {
        <temp.res>#10 = <temp.res>#4 + "A";
    }
    <temp.res>#11 = <temp.res>#4 + "E";
    return <temp.res>#4;
}