TestSMTFocusResults
all
>
de.uka.ilkd.key.smt
> TestSMTFocusResults
2
tests
0
failures
0
ignored
0.031s
duration
100%
successful
Tests
Tests
Test
Duration
Result
parsesCvc5Format()
0s
passed
parsesZ3Format()
0.031s
passed