Lost assets (no share price decrease) #18

Job	Run time
verify (ConsistentState)	19m 33s
verify (DistinctIdentifiers)	5m 23s
verify (Enabled)	7m 4s
verify (Immutability)	12m 0s
verify (LastUpdated)	12m 56s
verify (Liveness)	6m 16s
verify (MarketInteractions)	12m 3s
verify (PendingValues)	15m 17s
verify (Range)	17m 2s
verify (Reentrancy)	13m 17s
verify (Reverts)	6m 10s
verify (Roles)	12m 50s
verify (Timelock)	8m 20s
verify (Tokens)	5m 4s
verify (LostAssetsNoLink)	8m 31s
verify (LostAssetsLink)	23m 35s
	3h 5m 21s

Provide feedback