fix(tvix/eval): fix recovering from throws in implications

Browse source

This fixes b/345.

Change-Id: Ic0d3b6ffacd2a5e0050d22354d08320b69a4fe13
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10290
Tested-by: BuildkiteCI
Reviewed-by: tazjin <tazjin@tvl.su>
Autosubmit: Adam Joseph <adam@westernsemico.com>

...

This commit is contained in:

Adam Joseph 2023-12-11 22:41:52 -08:00 • committed by clbot

parent 24ff74d346

commit edf411a86c

3 changed files with 2 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

0

tvix/eval/src/tests/tvix_tests/notyetpassing/eval-okay-test-catchables-in-implications.exp → tvix/eval/src/tests/tvix_tests/eval-okay-test-catchables-in-implications.exp

Unescape Escape View file

0

tvix/eval/src/tests/tvix_tests/notyetpassing/eval-okay-test-catchables-in-implications.nix → tvix/eval/src/tests/tvix_tests/eval-okay-test-catchables-in-implications.nix

Unescape Escape View file