Lost assets (no share price decrease) #5

Job	Run time
verify (ConsistentState)	39m 14s
verify (DistinctIdentifiers)	12m 7s
verify (Enabled)	15m 45s
verify (Immutability)	12m 37s
verify (LastUpdated)	12m 3s
verify (Liveness)	22m 27s
verify (MarketInteractions)	14m 30s
verify (PendingValues)	27m 36s
verify (Range)	25m 11s
verify (Reentrancy)	12m 8s
verify (Reverts)	16m 46s
verify (Roles)	11m 36s
verify (Timelock)	22m 20s
verify (Tokens)	17m 52s
	4h 22m 12s

Provide feedback