Skip to content

Commit 8dc0d74

Browse files
peterschrammelpeterschrammel
committed
Remove obsolete jbmc-cover tests
1 parent f36da08 commit 8dc0d74

File tree

9 files changed

+0
-37
lines changed

9 files changed

+0
-37
lines changed

‎jbmc/regression/jbmc-cover/unique-bytecode1/Test.class

-301 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/unique-bytecode1/Test.java

Lines changed: 0 additions & 6 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/unique-bytecode1/test.desc

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/unique-bytecode2/Test.class

-262 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/unique-bytecode2/Test.java

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/unique-bytecode2/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/unique-bytecode3/Test.class

-292 Bytes
Binary file not shown.

‎jbmc/regression/jbmc-cover/unique-bytecode3/Test.java

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎jbmc/regression/jbmc-cover/unique-bytecode3/test.desc

Lines changed: 0 additions & 9 deletions
This file was deleted.

0 commit comments

Comments
 (0)