No share price decrease (1) #3

Job	Run time
verify (ConsistentState)	37m 19s
verify (DistinctIdentifiers)	9m 46s
verify (Enabled)	18m 30s
verify (Immutability)	15m 10s
verify (LastUpdated)	11m 40s
verify (Liveness)	19m 29s
verify (MarketInteractions)	16m 44s
verify (PendingValues)	31m 57s
verify (Range)	23m 20s
verify (Reentrancy)	11m 6s
verify (Reverts)	19m 16s
verify (Roles)	12m 58s
verify (Timelock)	24m 53s
verify (Tokens)	15m 25s
	4h 27m 33s

Provide feedback