SNSystems / dexter

DExTer - Debug Experience Tester
MIT License
33 stars 6 forks source link

Add tests to stimulate simplifycfg after inlining #18

Closed OCHyams closed 5 years ago

OCHyams commented 5 years ago

These tests stimulate specific simplifycfg transformations after inlining. The folder name for each test is the name of the targeted simplifycfg function.

Ideally we'd like to be able to make assertions about what the call stack should look like in the debugger for theses tests. These tests will need to be updated when we get that functionaliy in DExTer.