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

11

tests

0

failures

0

ignored

32.049s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
FocusCommandTest 2 0 0 7.182s 100%
SMTCommandTest 1 0 0 0.001s 100%
ScriptLineParserTest 1 0 0 0.012s 100%
TestProofScriptCommand 7 0 0 24.854s 100%