diff options
| author | Norbert Schneider <norbert.schneider@code-intelligence.com> | 2022-04-06 08:47:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-06 08:47:22 +0200 |
| commit | c276a45046a93342e1924d5f14bc5d25d2aa8f00 (patch) | |
| tree | ec8b8a0b2d388faa653afc975caa39f58cb6a195 /third_party/jacoco_internal.BUILD | |
| parent | 2df09a545b5559ecdbba3ee25c7c9d16894a8f06 (diff) | |
| download | jazzer-api-c276a45046a93342e1924d5f14bc5d25d2aa8f00.tar.gz | |
Use the official JaCoCo version
Switch from the internal fork to the official JaCoCo version. This
looses the call optimizations but removes the burden of maintaining a
dedicated fork.
Tests using the example fuzzers and JMH don't show huge performance
differences. Some are more in favor of the fork, some of the official
version.
Diffstat (limited to 'third_party/jacoco_internal.BUILD')
| -rw-r--r-- | third_party/jacoco_internal.BUILD | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/third_party/jacoco_internal.BUILD b/third_party/jacoco_internal.BUILD index a9f964b9..d16a166b 100644 --- a/third_party/jacoco_internal.BUILD +++ b/third_party/jacoco_internal.BUILD @@ -24,7 +24,6 @@ java_library( ]), resources = glob([ "org.jacoco.core/src/org/jacoco/core/**/*.properties", - "org.jacoco.core/src/org/jacoco/core/internal/flow/java_no_throw_methods_list.dat", ]), javacopts = [ "-Xep:EqualsHashCode:OFF", @@ -35,25 +34,3 @@ java_library( "@org_ow2_asm_asm_tree//jar", ], ) - -java_binary( - name = "jacoco_cli", - srcs = glob([ - "org.jacoco.cli/src/org/jacoco/cli/**/*.java", - "org.jacoco.report/src/org/jacoco/report/**/*.java", - ]), - resources = glob([ - "org.jacoco.report/src/org/jacoco/report/**/*.css", - "org.jacoco.report/src/org/jacoco/report/**/*.gif", - "org.jacoco.report/src/org/jacoco/report/**/*.js", - ]), - main_class = "org.jacoco.cli.internal.Main", - deps = [ - "//:jacoco_internal", - "@org_kohsuke_args4j_args4j//jar", - "@org_ow2_asm_asm//jar", - "@org_ow2_asm_asm_commons//jar", - "@org_ow2_asm_asm_tree//jar", - ], - visibility = ["//visibility:public"], -) |