gov.nasa.jpf.symbc.veritesting.VeritestingUtil

Class RegionStatistics

java.lang.Object

gov.nasa.jpf.symbc.veritesting.VeritestingUtil.RegionStatistics

public class RegionStatistics
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	concreteNumber counts the number of times we hit a region and it was concrete
(package private) java.util.ArrayList<FailEntry>	failReasonList
java.lang.String	regionKey
int	spfHitNumber counts the number of times we couldn't veritest a region and we left it for SPF to deal with it.
int	veriHitNumber counts the number of times we successfully summaries a veritesting region and placing it on the PC was SAT

Constructor Summary

Constructors

Constructor and Description
RegionStatistics(java.lang.String regionKey, FailEntry failEntry, int veriHitNumber, int spfHitNumber, int concreteNumber)

Method Summary

Modifier and Type	Method and Description
java.lang.String	print()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

regionKey

public final java.lang.String regionKey

failReasonList

java.util.ArrayList<FailEntry> failReasonList

veriHitNumber

public int veriHitNumber

counts the number of times we successfully summaries a veritesting region and placing it on the PC was SAT

spfHitNumber

public int spfHitNumber

counts the number of times we couldn't veritest a region and we left it for SPF to deal with it.

concreteNumber

public int concreteNumber

counts the number of times we hit a region and it was concrete

Constructor Detail

RegionStatistics

RegionStatistics(java.lang.String regionKey,
                 FailEntry failEntry,
                 int veriHitNumber,
                 int spfHitNumber,
                 int concreteNumber)

Method Detail

print

public java.lang.String print()