SymbolicUniverse

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total140 of 45869%20 of 6469%1950167203
make(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF[])13324665%173567%1641155501
canonicalize(TreeExpressionIF)76991%3975%3811501
SymbolicUniverse()100%n/a010201