Lost assets (no share price decrease) #11

Job	Run time
verify (ConsistentState)	20m 6s
verify (DistinctIdentifiers)	12m 58s
verify (Enabled)	14m 41s
verify (Immutability)	12m 18s
verify (LastUpdated)	5m 37s
verify (Liveness)	5m 58s
verify (MarketInteractions)	12m 52s
verify (PendingValues)	28m 19s
verify (Range)	20m 25s
verify (Reentrancy)	11m 58s
verify (Reverts)	4m 53s
verify (Roles)	10m 47s
verify (Timelock)	20m 45s
verify (Tokens)	4m 55s
verify (HoleNoLink)	10m 17s
verify (HoleLink)	13m 11s
	3h 30m 0s

Provide feedback