pytest-inline is a pytest plugin for writing inline tests.
☆19Dec 11, 2025Updated 3 months ago
Alternatives and similar repositories for pytest-inline
Users that are interested in pytest-inline are comparing it to the libraries listed below
Sorting:
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆14Nov 25, 2024Updated last year
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects