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:/eisop/jspecify-conformance.git
   cd jspecify-conformance

2. Gradle Assemble:

   ./gradlew assmble

3. Run the Tests:

   ./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.