Skip to content
This repository was archived by the owner on Jul 18, 2025. It is now read-only.
This repository was archived by the owner on Jul 18, 2025. It is now read-only.

Classify reasons for converted test failures #170

Description

@wmdietl

Pull request #146 enables tests in the converted directory.
However, 16 failing tests needed to be skipped.
Go through these skipped tests and determine whether:

  1. the converted .jaif file is incorrect and needs adapting or
  2. the converted .jaif file is correct and the implementation needs to be fixed.

For case 1, a fix to the jaif file should be easy.
For case 2, produce a minimal test case and file a separate issue.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions