Skip to content
Back to pull request #954

fix: Do not call [X.make] on non-subterms for bv2nat #1762

Sign in to view logs

fix: Do not call [X.make] on non-subterms for bv2nat

fix: Do not call [X.make] on non-subterms for bv2nat #1762

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile AE with JsoO and test it with NodeJs
8m 49s
8m 49s