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

11

tests

0

failures

0

ignored

23.209s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
FocusCommandTest 2 0 0 5.119s 100%
SMTCommandTest 1 0 0 0s 100%
ScriptLineParserTest 1 0 0 0.002s 100%
TestProofScriptCommand 7 0 0 18.088s 100%