DynamicFactory

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,214 of 3,80868%142 of 29852%13531122168637158
equals(ValueIF, ValueIF, ValueIF, int)17012342%222452%1624295301
forall(ValueIF, BoundVariableIF, ValueIF, ValueIF)1340%220%1212262611
findModel(ValueIF)1050%80%55232311
equalsVector(ValueIF, VectorValueIF, VectorValueIF, int)610%80%55111111
characterValue(ValueIF, ValueIF)490%60%44121211
valueType(SymbolicTypeIF)444852%5550%4871701
compatibleRecordTypes(ValueIF, RecordValueTypeIF, RecordValueTypeIF)440%40%33101011
sizeof(ValueTypeIF)438266%51575%51132001
booleanValue(ValueIF, ValueIF)410%60%44121211
string(String)390%20%228811
exists(ValueIF, BoundVariableIF, ValueIF, ValueIF)340%20%224411
compatibleTypes(ValueIF, ValueTypeIF, ValueTypeIF)31718%9110%565701
compatibleArrayTypes(ValueIF, ArrayValueTypeIF, ArrayValueTypeIF)300%20%225511
cast(ValueTypeIF, ValueIF)283556%8433%673701
getInterval(ValueIF, BoundVariableIF, ValueIF)270%n/a117711
ifThenElse(ValueIF, ValueIF, ValueIF, ValueIF)270%n/a112211
add(VectorValueIF, ValueIF)251334%1150%121301
getSharedVariableCells(Collection)240%20%225511
valueOfBoundVariable(BoundVariableIF, ValueTypeIF)230%n/a115511
arrayValue(String, ArrayValueTypeIF, MorphicVector)190%n/a112211
negative(ValueIF, ValueIF)124579%1375%1311001
valueOfBoundVariable(BoundVariableIF)123976%2250%2441501
divides(ValueIF, ValueIF, ValueIF)110%n/a111111
concreteValue(ValueIF, ValueIF)103075%2675%252801
elementType(ValueIF, ArrayValueTypeIF, ValueIF)100%n/a111111
toString()100%n/a111111
symbolicConstantForBoundVariable(BoundVariableIF)92271%2250%2431001
divide(ValueIF, ValueIF, ValueIF)84384%4450%450701
intDivide(ValueIF, ValueIF, ValueIF)84384%4450%450701
convertSymExpr(SymbolicExpressionIF, ValueTypeIF)80%n/a111111
DynamicFactory(ModelFactoryIF, SymbolicSimplifierFactoryIF, TheoremProverIF, RunConfiguration)733398%1583%1425901
getInterval(ValueIF, SymbolicConstantIF, ValueIF)71670%n/a012601
simplifier(ValueIF)7646%n/a012301
recordElementReference(ReferenceValueIF, int, ReferenceValueTypeIF)70%n/a111111
simplifyMessage(DynamicSimplifierIF, MessageIF)70%n/a111111
simplifyValue(DynamicSimplifierIF, ValueIF)70%n/a111111
vectorElementReference(ReferenceValueIF, int, ReferenceValueTypeIF)70%n/a111111
functionValueType(ValueTypeIF[], ValueTypeIF)60%n/a111111
recordValue(RecordValueTypeIF, ValueIF[])60%n/a111111
removeElementAt(VectorValueIF, int)60%n/a111111
vectorElementReference(ReferenceValueIF, int)60%n/a111111
forall(ValueIF, SymbolicConstantIF, ValueIF, ValueIF)512496%61673%61212501
valueSubstituterFromTreeMap(Map)50%n/a111111
valueTypeFactory()40%n/a111111
valid(ValueIF, ValueIF)318698%22091%21213301
messageSimplifier()30%n/a111111
messageVectorSimplifier()30%n/a111111
noAssumptionSimplifier()30%n/a111111
one()30%n/a111111
prover()30%n/a111111
symbolicUniverse()30%n/a111111
valueArraySimplifier()30%n/a111111
valueVectorSimplifier()30%n/a111111
static {...}1083%1150%120301
newListSimplifier(MorphicListFactory, MorphicSimplifierIF)0%n/a111111
equalsArrayPrefix(ValueIF, ValueIF, ArrayValueIF, ArrayValueIF, int)133100%1788%1501601
shutdown()76100%2100%0202201
function(ValueIF, AbstractFunctionIF, ValueTypeIF[], ValueTypeIF)56100%2100%020801
add(ValueIF, ValueIF, ValueIF)46100%1375%130601
multiply(ValueIF, ValueIF, ValueIF)46100%1375%130601
subtract(ValueIF, ValueIF, ValueIF)46100%1375%130601
apply(ValueIF, ValueIF, ValueIF[])45100%2100%020601
getScopeVariable(int)41100%4100%030701
arrayValue(String, ArrayValueTypeIF, ValueIF[])39100%2100%020501
not(ValueIF, ValueIF)39100%4100%030801
arrayWriteSymbolic(ValueIF, ArrayValueIF, ValueIF, ValueIF)38100%n/a010701
lambda(ValueIF, ValueTypeIF, SymbolicConstantIF, ValueIF)37100%n/a010601
simplifier(ValueIF, MorphicSimplifierCacheIF)34100%2100%020801
and(ValueIF, ValueIF, ValueIF)29100%n/a010501
arrayWrite(ValueIF, ArrayValueIF, ValueIF, ValueIF)29100%1375%130601
equalsSymbolic(ValueIF, ValueIF, ValueIF, int)29100%n/a010501
lessThan(ValueIF, ValueIF, ValueIF)29100%n/a010501
lessThanOrEquals(ValueIF, ValueIF, ValueIF)29100%n/a010501
modulo(ValueIF, ValueIF, ValueIF)29100%n/a010501
or(ValueIF, ValueIF, ValueIF)29100%n/a010501
arrayLambda(ValueIF, ArrayValueTypeIF, ValueIF)25100%n/a010501
symbolicValue(NumberIF)22100%2100%020301
symbolicConstant(String, ValueTypeIF)18100%n/a010101
symbolicConstantForBoundVariable(BoundVariableIF, SymbolicTypeIF)16100%n/a010201
symbolicValue(int)12100%n/a010101
arrayRead(ValueIF, ArrayValueIF, ValueIF)10100%n/a010101
isValid(ValueIF, ValueIF)10100%2100%020101
nsat(ValueIF)10100%n/a010101
implies(ValueIF, ValueIF, ValueIF)9100%n/a010101
numericValue(ValueIF, ValueIF)9100%n/a010101
valueOfSymbolicConstant(SymbolicConstantIF, ValueTypeIF)9100%n/a010101
arrayElementReference(ReferenceValueIF, ValueIF)8100%n/a010101
message(ProcessIF, ProcessIF, ValueIF, ValueIF)8100%n/a010101
referenceValue(CellIF, ReferenceValueTypeIF)8100%n/a010101
symbolicValue(boolean)8100%2100%020101
symbolicValue(char)8100%n/a010101
arrayElementReference(ReferenceValueIF, ValueIF, ReferenceValueTypeIF)7100%n/a010101
equals(ValueIF, ValueIF, ValueIF)7100%n/a010101
recordWrite(ValueIF, RecordValueIF, int, ValueIF)7100%n/a010101
referenceSimplifier(ValueSubstituterIF, MorphicSimplifierCacheIF)7100%n/a010101
referenceValue(CellIF, ReferenceValueTypeIF, ValueIF)7100%n/a010101
set(VectorValueIF, int, ValueIF)7100%n/a010101
simplifier(ValueSubstituterIF, MorphicSimplifierCacheIF)7100%n/a010101
simplifyMessageVector(DynamicSimplifierIF, MorphicVector)7100%n/a010101
simplifyValueArray(DynamicSimplifierIF, MorphicArray)7100%n/a010101
simplifyValueVector(DynamicSimplifierIF, MorphicVector)7100%n/a010101
valueSubstituter(Map)7100%n/a010101
arrayValue(ArrayValueTypeIF, ValueIF[])6100%n/a010101
arrayValueType(ValueTypeIF, ValueIF)6100%n/a010101
rectangularArrayValueType(ValueTypeIF, ValueIF[])6100%n/a010101
canonic(MessageIF)6100%n/a010101
canonic(ValueIF)6100%n/a010101
complete(ReferenceValueTypeIF, ValueTypeIF)6100%n/a010201
heapCell(ProcessIF, int)6100%n/a010101
localCell(LocalVariableIF, int)6100%n/a010101
newArraySimplifier(MorphicArrayFactory, MorphicSimplifierIF)6100%n/a010101
newSetSimplifier(MorphicSetFactory, MorphicSimplifierIF)6100%n/a010101
newVectorSimplifier(MorphicVectorFactory, MorphicSimplifierIF)6100%n/a010101
reachableVariableReferences(ValueIF, Collection)6100%n/a010101
recordElementReference(ReferenceValueIF, int)6100%n/a010101
recordValue(ValueIF, RecordValueTypeIF, ValueIF[])6100%n/a010101
recordValueType(RecordTypeIF, ValueTypeIF[])6100%n/a010101
canonic(ValueTypeIF)5100%n/a010101
emptyVectorValue(VectorValueTypeIF)5100%n/a010101
literalCell(ObjectLiteralExpressionIF)5100%n/a010101
nullReferenceValue(ReferenceValueTypeIF)5100%n/a010101
processCell(ProcessVariableIF)5100%n/a010101
referenceValueType(ValueTypeIF)5100%n/a010101
sharedCell(SharedVariableIF)5100%n/a010101
symbolicConstants(Collection)5100%n/a010101
undefinedValue(ValueTypeIF)5100%n/a010101
valueSubstituterFromSymbolicConstantMap(Map)5100%n/a010101
vectorValueType(ValueTypeIF)5100%n/a010101
get(VectorValueIF, int)4100%n/a010101
newIncompleteReferenceValueType()4100%n/a010101
newSimpleCache()4100%n/a010101
numMessages()4100%n/a010101
numProverValidCalls()4100%n/a010101
numQueries()4100%n/a010101
numValues()4100%n/a010101
recordRead(ValueIF, RecordValueIF, int)4100%n/a010101
booleanType()3100%n/a010101
characterType()3100%n/a010101
configuration()3100%n/a010101
falseValue()3100%n/a010101
integerType()3100%n/a010101
isUndefined(ValueIF)3100%n/a010101
messageFactory()3100%n/a010101
messageVectorFactory()3100%n/a010101
modelFactory()3100%n/a010101
numberFactory()3100%n/a010101
realType()3100%n/a010101
simplifierFactory()3100%n/a010101
simplifyCache()3100%n/a010101
size(VectorValueIF)3100%n/a010101
trueValue()3100%n/a010101
universe()3100%n/a010101
valueArrayFactory()3100%n/a010101
valueFactory()3100%n/a010101
valueSimplifier()3100%n/a010101
valueVectorFactory()3100%n/a010101
voidPointerType()3100%n/a010101
zero()3100%n/a010101