We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 53d24e5 commit f795ef9Copy full SHA for f795ef9
jbmc/regression/jbmc-cover/generics/test.desc
@@ -7,5 +7,3 @@ file AbstractTest.java line 18 .* SATISFIED
7
file AbstractTest.java line 19 .* SATISFIED
8
file AbstractTest.java line 20 .* SATISFIED
9
file AbstractTest.java line 21 .* SATISFIED
10
-
11
0 commit comments