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

11

tests

0

failures

0

ignored

22.744s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
FocusCommandTest 2 0 0 5.124s 100%
SMTCommandTest 1 0 0 0.001s 100%
ScriptLineParserTest 1 0 0 0.001s 100%
TestProofScriptCommand 7 0 0 17.618s 100%