TestTestgen
all
>
de.uka.ilkd.key.testcase.smt.testgen
> TestTestgen
1
tests
0
failures
0
ignored
3.486s
duration
100%
successful
Tests
Tests
Test
Duration
Result
testMiddle()
3.486s
passed