Lost assets (no share price decrease) #8

Job	Run time
verify (ConsistentState)	37m 36s
verify (DistinctIdentifiers)	12m 44s
verify (Enabled)	16m 28s
verify (Immutability)	12m 9s
verify (LastUpdated)	11m 52s
verify (Liveness)	19m 46s
verify (MarketInteractions)	13m 47s
verify (PendingValues)	28m 42s
verify (Range)	22m 5s
verify (Reentrancy)	12m 27s
verify (Reverts)	15m 16s
verify (Roles)	12m 2s
verify (Timelock)	21m 12s
verify (Tokens)	15m 46s
verify (Hole)	13m 15s
	4h 25m 7s

Provide feedback