fuzzer failed unexpectedly #945
Comments
MicroProofs
added a commit
that referenced
this issue
May 22, 2024
…da before running the with function. Breaks #945 again
MicroProofs
added a commit
that referenced
this issue
May 22, 2024
…metimes place fully applied builtins that could evaluate and fail above where they were actually used. This happened with builtins that were called with the same constants enough times for the curry builtin to try hoist to a higher scope. This is now fixed by detecting which builtins are safe to evaluate in advance before we hoist fully applied builtins
MicroProofs
added a commit
that referenced
this issue
May 22, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
What Git revision are you using?
aiken v1.0.26-alpha+a3c14d8
What operating system are you using, and which version?
nixos
Describe what the problem is?
MRE: https://github.com/waalge/mre-fuzz-fail/
What should be the expected behavior?
Not this
The text was updated successfully, but these errors were encountered: