This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Add tests for kompile-generated kore files for IMP #40

Open

nishantjr opened this issue May 23, 2023 · 0 comments

Assignees

Labels

Milestone

Contributor

nishantjr commented May 23, 2023 •

edited

Loading

Add a test that each kompile generated kore file is a valid metamath file that can be verified by official metamath

nishantjr mentioned this issue

Update to latest K #38

Open

nishantjr changed the title ~~Add tests for kompile-generated kore files~~ Add tests for kompile-generated kore files for IMP

nishantjr added this to the PoC-Track-1 milestone

nishantjr added the medium-task label

nishantjr self-assigned this

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