diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-05-10 00:34:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-10 00:34:45 +0200 |
| commit | caa17aa1f2c49647fd1f3215319c416649e8d9d5 (patch) | |
| tree | 77495b355b4c111852d6abb89aac73290fb640dd /test/ir/symbexec.py | |
| parent | f76c4aadc06141caf1bbd775a258928d73794a35 (diff) | |
| parent | 2eafe654c0bdedd6999f738c7b3266768f13e74a (diff) | |
| download | miasm-caa17aa1f2c49647fd1f3215319c416649e8d9d5.tar.gz miasm-caa17aa1f2c49647fd1f3215319c416649e8d9d5.zip | |
Merge pull request #553 from commial/feature/symbexec-assignblk
SymbolicExecutionEngine .state -> AssignBlock
Diffstat (limited to 'test/ir/symbexec.py')
| -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) |