Test Summary

196

tests

1

failures

0

ignored

13m27.64s

duration

99%

successful

Failed tests
Packages
Classes

Failed tests

ProveRulesTest. getAnyOfArray2seq

Packages

Package	Tests	Failures	Ignored	Duration	Success rate
de.uka.ilkd.key.proof.proverules	196	1	0	13m27.64s	99%

Classes

Class	Tests	Failures	Ignored	Duration	Success rate
de.uka.ilkd.key.proof.proverules.ProveRulesTest	196	1	0	13m27.64s	99%