Lost assets (no share price decrease) #16

Job	Run time
verify (ConsistentState)	20m 58s
verify (DistinctIdentifiers)	13m 4s
verify (Enabled)	15m 28s
verify (Immutability)	13m 26s
verify (LastUpdated)	4m 33s
verify (Liveness)	19m 1s
verify (MarketInteractions)	4m 59s
verify (PendingValues)	31m 1s
verify (Range)	19m 51s
verify (Reentrancy)	2m 33s
verify (Reverts)	4m 32s
verify (Roles)	9m 24s
verify (Timelock)	11m 32s
verify (Tokens)	5m 53s
verify (LostAssetsNoLink)	21m 51s
verify (LostAssetsLink)	13m 11s
	3h 31m 17s

Provide feedback