fix certora conf #930
Annotations
6 errors and 1 warning
modules/4337/test/utils/simulations.ts#L128
Delete `·`
|
modules/4337/test/utils/simulations.ts#L132
Delete `·`
|
modules/4337/test/utils/simulations.ts#L136
Delete `·`
|
modules/4337/test/utils/simulations.ts#L141
Delete `·`
|
modules/4337/test/utils/simulations.ts#L149
Delete `·`
|
|
|
This job failed
Loading