TextualJMLAssertStatementTest
all
>
de.uka.ilkd.key.speclang.jml.pretranslation
> TextualJMLAssertStatementTest
1
tests
0
failures
0
ignored
0.008s
duration
100%
successful
Tests
Tests
Test
Duration
Result
testTextRepr()
0.008s
passed