algorand / graviton

šŸ§‘ā€šŸ”¬ verify your TEAL program by experiment and observation
MIT License
17 stars 8 forks source link

Refactor Dry Run Execution #44

Closed tzaffi closed 1 year ago

tzaffi commented 1 year ago

Note for reviewers.

The diff in graviton_blackbox.py is difficult to read through. Instead of looking at the diff, I encourage looking at the actual code. Additionally, this is a testing library, and therefore (IMO) we can gain most of the confidence by looking at the resulting tests both here and in the companion pyteal PR.

Issues Addressed

Summary of changes

TODO's