snix/tvix/eval/src/tests/nix_tests/eval-fail-division-by-zero-float.nix at 835ea6ca7db3b2b22a3cc9e323132b2769af235d - maurice/snix - Sinavir's forge

maurice/snix

jhahn d00030128e feat(tvix/eval): detect division by zero

This detects if the second argument of a division is a zero (either as integer
or as float). If so, an error message is displayed.

This fixes b/219.

Change-Id: I50203d14a71482bc757832a2c8dee08eb7d35c49
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7258
Tested-by: BuildkiteCI
Reviewed-by: flokli <flokli@flokli.de>

2022-11-10 13:12:05 +00:00

1 line

10 B

Nix

Raw Blame History

1.0 / 0.0