Skip to content

README.md

Latest commit

 

History

History
38 lines (27 loc) · 1.1 KB

README.md

File metadata and controls

38 lines (27 loc) · 1.1 KB

JSpecify Conformance Tests with the EISOP Checker Framework

This repository runs the JSpecify conformance tests with the EISOP Nullness Checker.

Results on JSpecify conformance tests.

Results on JSpecify sample tests.

Prerequisites

  • Java 9 or higher

Running the Tests

  1. Clone the repository:

    git clone https://github.com/eisop/jspecify-conformance.git
cd jspecify-conformance

  2. Gradle Assemble:

    ./gradlew assmble

  3. Run the Tests:

    ./gradlew test

  4. Update the conformance test results:

    JSPECIFY_CONFORMANCE_TEST_MODE=write ./gradlew test

The project uses a custom test runner, ConformanceTestRunner, which is invoked in the NullnessJSpecifyConformanceTest. This runner checks the conformance of the EISOP Nullness Checker against the JSpecify Conformance Tests.