Welcome to the GBF Test Portal

This was built to track decompiler and CFG progress.

Decompiler Output

function timestamp(temp.format, temp.time)
{
    lit#4 = 5.2;
    // RegionId(1)
    if (graalversion#3 < lit#4) 
    {
        return temp.time;
    }
    // RegionId(2)
    else
    {
        fn_call#6 = formattimestring#5(temp.format, temp.time);
        return fn_call#6;
    }
}