Package de.uka.ilkd.key.macros.scripts

11

tests

0

failures

0

ignored

24.745s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
FocusCommandTest 2 0 0 5.403s 100%
SMTCommandTest 1 0 0 0.001s 100%
ScriptLineParserTest 1 0 0 0.010s 100%
TestProofScriptCommand 7 0 0 19.331s 100%