DICE API Documentation/com.embabel.dice.spi/QuarantineResult/total

total

val total: Int

How many propositions the sweep looked at.