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

[{"has_loop": false, "EAX": "EBX_init", "satisfiability": true, "constraints": {}}, {"has_loop": true, "EAX": "EBX_init", "satisfiability": false, "constraints": {}}]