Add free(0)
to codegen of loop contracts
#708
Job | Run time |
---|---|
17m 25s | |
22m 46s | |
40m 11s |
free(0)
to codegen of loop contracts
#708
Job | Run time |
---|---|
17m 25s | |
22m 46s | |
40m 11s |