diff options
author | Adam Joseph <adam@westernsemico.com> | 2023-12-15T10·50-0800 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-12-29T21·34+0000 |
commit | 0c22454bb93648155b8be4b45fb5d5c8f0389673 (patch) | |
tree | e968e82c352bd56e18f29dde347823b0bde2b531 /tvix/shell.nix | |
parent | 8a52c7f1c54937c44ed1cdb6f7e7c84070828623 (diff) |
fix(tvix/eval): add stack depth assertion to OpReturn r/7271
I'm still trying to work out the exact stack invariants for tvix. We really should add assertions for them; getting the stack messed up is no fun. This commit adds one simple assertion. It also adds a missing stack-push (my mistake) in one place, which was uncovered by the assertion. Change-Id: I9d8b4bd1702d954e325832c5935b0d7e3eb68422 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10369 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/shell.nix')
0 files changed, 0 insertions, 0 deletions