fix: added error messages for passing oracles and references from unconstrained to constrained functions #5005
Job | Run time |
---|---|
2m 17s | |
2m 24s | |
2m 33s | |
2m 37s | |
52s | |
1m 25s | |
42s | |
1m 20s | |
43s | |
1m 1s | |
1m 5s | |
3m 54s | |
5m 11s | |
1s | |
26m 5s |
Job | Run time |
---|---|
2m 17s | |
2m 24s | |
2m 33s | |
2m 37s | |
52s | |
1m 25s | |
42s | |
1m 20s | |
43s | |
1m 1s | |
1m 5s | |
3m 54s | |
5m 11s | |
1s | |
26m 5s |