Lost assets (no share price decrease) #7

Job	Run time
verify (ConsistentState)	36m 55s
verify (DistinctIdentifiers)	12m 14s
verify (Enabled)	14m 43s
verify (Immutability)	10m 57s
verify (LastUpdated)	11m 20s
verify (Liveness)	17m 57s
verify (MarketInteractions)	12m 46s
verify (PendingValues)	26m 4s
verify (Range)	20m 48s
verify (Reentrancy)	11m 38s
verify (Reverts)	15m 44s
verify (Roles)	11m 23s
verify (Timelock)	20m 23s
verify (Tokens)	16m 33s
	3h 59m 25s

Provide feedback