[Certora Audit] I-03. Inconsistency in formula for performCreate and performCreate2
#2260
| Job | Run time |
|---|---|
| 5s | |
| 5s |
performCreate and performCreate2
#2260
| Job | Run time |
|---|---|
| 5s | |
| 5s |