diff options
| author | Ajax <commial@gmail.com> | 2017-05-09 13:53:36 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2017-05-09 16:35:43 +0200 |
| commit | 2eafe654c0bdedd6999f738c7b3266768f13e74a (patch) | |
| tree | 22a992bc7e4fcfc800f3b42fed1f8c44987b0eff /test | |
| parent | a66957dc88b9b0c45a36c374f6e1c31d97379f70 (diff) | |
| download | miasm-2eafe654c0bdedd6999f738c7b3266768f13e74a.tar.gz miasm-2eafe654c0bdedd6999f738c7b3266768f13e74a.zip | |
Use and tiny test of .as_assignblock() behavior
Diffstat (limited to 'test')
| -rwxr-xr-x | test/ir/symbexec.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/ir/symbexec.py b/test/ir/symbexec.py index e2bd411f..f8d8c7bf 100755 --- a/test/ir/symbexec.py +++ b/test/ir/symbexec.py @@ -75,6 +75,10 @@ class TestSymbExec(unittest.TestCase): self.assertEqual(e.apply_expr(assignblk.dst2ExprAff(id_x)), addr0) self.assertEqual(e.apply_expr(id_x), addr0) + # state + self.assertEqual(e.as_assignblock().get_r(), set([id_x, id_y])) + + if __name__ == '__main__': testsuite = unittest.TestLoader().loadTestsFromTestCase(TestSymbExec) report = unittest.TextTestRunner(verbosity=2).run(testsuite) |