Lost assets (no share price decrease) #21
MathisGDAnnotations
16 errors
|
verify (Tokens)
Process completed with exit code 1.
|
|
verify (ConsistentState)
Process completed with exit code 1.
|
|
verify (DistinctIdentifiers)
Process completed with exit code 1.
|
|
verify (Liveness)
Process completed with exit code 1.
|
|
verify (MarketInteractions)
Process completed with exit code 1.
|
|
verify (Enabled)
Process completed with exit code 1.
|
|
verify (Reverts)
Process completed with exit code 1.
|
|
verify (PendingValues)
Process completed with exit code 1.
|
|
verify (LostAssetsLink)
Process completed with exit code 1.
|
|
verify (Range)
Process completed with exit code 1.
|
|
verify (Immutability)
Process completed with exit code 1.
|
|
verify (Timelock)
Process completed with exit code 1.
|
|
verify (Roles)
Process completed with exit code 1.
|
|
verify (LastUpdated)
Process completed with exit code 1.
|
|
verify (Reentrancy)
Process completed with exit code 1.
|
|
verify (LostAssetsNoLink)
Process completed with exit code 1.
|