feat(hax-lib): allow requires & ensures on &mut
inputs functions
#2510
Job | Run time |
---|---|
31s | |
1m 23s | |
1m 21s | |
5m 27s | |
8m 42s |
&mut
inputs functions
#2510
Job | Run time |
---|---|
31s | |
1m 23s | |
1m 21s | |
5m 27s | |
8m 42s |