MicroTESK

Symbolic executor fails to construct CFG for fibonacci.c (-O3).

        {
            "range": [
                33,
                32
            ],
            "target_taken": -1,
            "target_other": -1,
            "condition_smt": "true",
            "hwstate_mod_smt": [
                {
                    "asm": {
                        "name": "PC",
                        "kind": "reg",
                        "type": "i64" 
                    },
                    "smt_in": "PC!126",
                    "smt_out": "PC!127",
                    "smt_type": "(_ BitVec 64)" 
                }
            ]
        }