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

[{"has_loop": false, "EAX": "0x1", "satisfiability": true, "constraints": {"EAX_init": "0xffffffff"}}, {"has_loop": false, "EAX": "0x2", "satisfiability": false, "constraints": {}}]