Skip to content

checker-qual.jar and checker-compat-qual.jar should be self-contained #712

@wmdietl

Description

@wmdietl

At the moment, as raised here https://groups.google.com/d/msg/checker-framework-discuss/uCBCRVcpM_w/VuNEI-XwBQAJ, one currently has to sometimes include both checker-qual.jar and checker-compat-qual.jar.
Some classes are contained in both .jar files, causing issues.

Each -qual.jar file should be self-contained and contain all necessary classes.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions