This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Add miri test #210

Open

huachaohuang opened this issue Nov 7, 2022 · 1 comment

Collaborator

huachaohuang commented Nov 7, 2022

The previous version (0.0.1) enables the miri test, which helps to uncover some undefined behaviors. We can consider re-adding the miri test.

Collaborator Author

huachaohuang commented Nov 7, 2022 •

edited

The previous version can refer to https://github.com/photondb/photondb/tree/cbcf4437850d03ab4388ac1a896b480653891b5c. It has a CI job for the miri test here:

photondb/.github/workflows/ci.yml

Line 35 in cbcf443

- name: Run miri tests

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