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 895b0e7 commit 119883dCopy full SHA for 119883d
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