diff options
author | Adam Joseph <adam@westernsemico.com> | 2023-12-12T04·36-0800 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-12-12T14·55+0000 |
commit | e54eeda0ff4b777899491e2a753481e9c73af7df (patch) | |
tree | f0f061837d33ad562c7f15a5db06963cac57cf4e /tvix/eval/src/opcode.rs | |
parent | 1ac57b0d1cdade99cd6cdf34211aa23e63db6f97 (diff) |
test(tvix/eval): test branching on catchable defaults (b/343) r/7177
This is a test case for b/343, wherein tvix dies if you try to branch on an argument whose defaulted value is a catchable. Change-Id: I891ca825e39ad14dda9f220f06d9591874fcd45d Reviewed-on: https://cl.tvl.fyi/c/depot/+/10287 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: Adam Joseph <adam@westernsemico.com> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/opcode.rs')
0 files changed, 0 insertions, 0 deletions