index
:
verified-dyn-lang-interp
icfp25
main
Artifact for https://doi.org/10.1145/3747537
Rutger Broekhoff
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
testdata
/
eval-fail-assert-equal-floats.nix
blob: 438e85abfab9620e6da533308f7b5483e1144091 (
about
) (
plain
) (
blame
)
1
2
assert
{
b
=
1.0
; } == {
b
=
1.01
; };
abort
"unreachable"