Certora/specs #1
Conversation
This comment was marked as outdated.
This comment was marked as outdated.
![certora-run[bot]](https://avatars.githubusercontent.com/in/1083145?s=60&v=4){kind=small}
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
908aeed to
34d04b9
Compare
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
34d04b9 to
7b8b699
Compare
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
ec53221 to
07cfece
Compare
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
a124fe5 to
8a24b7e
Compare
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as resolved.
This comment was marked as resolved.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
ac71bfe to
3cee4a8
Compare
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
aehyvari
force-pushed
the
certora/specs
branch
from
32d542b to
8aa230b
Compare
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
…tion to liveness rule, and added liveness rule back to conf.
There was a problem hiding this comment.
Verification Results
- Group ID: 33710ad9-9ad1-4e6c-8f9f-59966fc3dc30
| Job | Result | VERIFIED | VIOLATED | Link |
|---|---|---|---|---|
| TimelockRemovableTime.conf | ✅ | 2 | 0 | Link |
| Timelock.conf | ✅ | 9 | 0 | Link |
| SolvencyInternal.conf | ✅ | 4 | 0 | Link |
| Solvency.conf | ✅ | 2 | 0 | Link |
| Roles.conf | ✅ | 4 | 0 | Link |
| Reverts.conf | ❌ | 18 | 1 | Link |
| Reentrancy.conf | ✅ | 1 | 0 | Link |
| Range.conf | ✅ | 6 | 0 | Link |
| PendingValues.conf | ✅ | 7 | 0 | Link |
| LostAssets.conf | ✅ | 8 | 0 | Link |
| Liveness.conf | ✅ | 3 | 0 | Link |
| Immutability.conf | ✅ | 1 | 0 | Link |
| ERC4626.conf | ✅ | 9 | 0 | Link |
| Enabled.conf | ✅ | 10 | 0 | Link |
| Conversions.conf | ✅ | 6 | 0 | Link |
| ConsistentStateExtras.conf | ✅ | 2 | 0 | Link |
| ConsistentStateExtras3Sanity.conf | ✅ | 2 | 0 | Link |
| ConsistentStateExtras2.conf | ✅ | 2 | 0 | Link |
| ConsistentState.conf | ✅ | 10 | 0 | Link |
| Balances.conf | ✅ | 6 | 0 | Link |
There was a problem hiding this comment.
Verification Results
- Group ID: 7696dcfb-6f21-4350-b275-d53404b3f453
| Job | Result | VERIFIED | Link |
|---|---|---|---|
| TimelockRemovableTime.conf | ✅ | 2 | Link |
| Timelock.conf | ✅ | 9 | Link |
| SolvencyInternal.conf | ✅ | 4 | Link |
| Solvency.conf | ✅ | 2 | Link |
| Roles.conf | ✅ | 4 | Link |
| Reverts.conf | ✅ | 19 | Link |
| Reentrancy.conf | ✅ | 1 | Link |
| Range.conf | ✅ | 6 | Link |
| PendingValues.conf | ✅ | 7 | Link |
| LostAssets.conf | ✅ | 8 | Link |
| Liveness.conf | ✅ | 3 | Link |
| Immutability.conf | ✅ | 1 | Link |
| ERC4626.conf | ✅ | 9 | Link |
| Enabled.conf | ✅ | 10 | Link |
| Conversions.conf | ✅ | 6 | Link |
| ConsistentStateExtras.conf | ✅ | 2 | Link |
| ConsistentStateExtras3Sanity.conf | ✅ | 2 | Link |
| ConsistentStateExtras2.conf | ✅ | 2 | Link |
| ConsistentState.conf | ✅ | 10 | Link |
| Balances.conf | ✅ | 6 | Link |
pull request from certora/specs to master to trigger the workflow CI.