Lost assets (no share price decrease) #4

Job	Run time
verify (ConsistentState)	42m 18s
verify (DistinctIdentifiers)	13m 7s
verify (Enabled)	19m 42s
verify (Immutability)	14m 21s
verify (LastUpdated)	12m 20s
verify (Liveness)	21m 15s
verify (MarketInteractions)	14m 7s
verify (PendingValues)	28m 50s
verify (Range)	26m 0s
verify (Reentrancy)	15m 56s
verify (Reverts)	17m 10s
verify (Roles)	14m 51s
verify (Timelock)	24m 0s
verify (Tokens)	15m 44s
	4h 39m 41s

Provide feedback