about summary refs log tree commit diff stats
path: root/test/analysis/dg_test_11_implicit_expected.json
blob: bd0fbf2901da0eb3a5cacc7d12d7d7369c08570c (plain) (blame) 
1

[{"has_loop": false, "EBX": "0x1", "satisfiability": true, "constraints": {}}, {"has_loop": false, "EBX": "0x3", "satisfiability": true, "constraints": {}}, {"has_loop": true, "EBX": "0x5", "satisfiability": true, "constraints": {}}]