Closed GalloDaSballo closed 5 months ago
should remove medusa output
Job ID | 45d795f3-e423-4fcd-9a72-ce5ae2dceca4 |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000 |
Instance ID | i-01f254fe9af93d54b |
Instance Type | c5.2xlarge |
Status | Started |
Elapsed |
Job ID | 45d795f3-e423-4fcd-9a72-ce5ae2dceca4 |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000 |
Instance ID | i-01f254fe9af93d54b |
Instance Type | c5.2xlarge |
Status | Running |
Elapsed | 38 seconds |
Job ID | 45d795f3-e423-4fcd-9a72-ce5ae2dceca4 |
Command | yarn && git submodule init && git submodule update && solc-select use 0.8.17 && cd packages/contracts/ && yarn echidna --test-mode assertion --test-limit 600000 |
Instance ID | i-01f254fe9af93d54b |
Instance Type | c5.2xlarge |
Status | Running |
Elapsed | 39 seconds |
Unbiased Feed Tester:
Is a good example of a unbiased test that clamps values, but doesn't imply additional restrictions beside basic rational aspects