Closed GalloDaSballo closed 3 months ago
Job ID | c2fc15f9-09dd-418c-8c2e-428360e090dd |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000 |
Instance ID | i-05f0d0cbaa4d14f50 |
Instance Type | c5.2xlarge |
Status | Running |
Elapsed | 47 seconds |
Job ID | c2fc15f9-09dd-418c-8c2e-428360e090dd |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000 |
Instance ID | i-05f0d0cbaa4d14f50 |
Instance Type | c5.2xlarge |
Status | Running |
Elapsed | 48 seconds |
Job ID | c2fc15f9-09dd-418c-8c2e-428360e090dd |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000 |
Instance ID | i-05f0d0cbaa4d14f50 |
Instance Type | c5.2xlarge |
Status | Success |
Elapsed | 14 hours 39 minutes 36 seconds |
yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 300000
i-05f0d0cbaa4d14f50
c5.2xlarge