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

11

tests

9

failures

0

ignored

0.094s

duration

18%

successful

Classes

Class Tests Failures Ignored Duration Success rate
FocusCommandTest 2 2 0 0.018s 0%
SMTCommandTest 1 0 0 0.015s 100%
ScriptLineParserTest 1 0 0 0.002s 100%
TestProofScriptCommand 7 7 0 0.059s 0%