fix(rust): Interpret max_depth
in proof specs as 128 if left to 0
#291
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
4s |
max_depth
in proof specs as 128 if left to 0
#291
Job | Run time |
---|---|
1s | |
1s | |
1s | |
1s | |
4s |