search

Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting
https://deducteam.github.io
Other
200 stars 22 forks source link

Update tezt version #316

Closed GuillaumeGen closed 9 months ago

GuillaumeGen commented 11 months ago

The continuous integration failed on previous pull request (#315) due to changes in Tezt API. This update should fix it.

francoisthire commented 11 months ago

We might want to fix Tezt version number in the CI though.

GuillaumeGen commented 11 months ago

Agreed. Do you have enough knowledge of Tezt to know if we should use version 2.0.0 or 4.0.0?

francoisthire commented 11 months ago

Yeap, version 4.0.0 should be good! However, version 3.0.0 introduced a change with regression tests. Maybe some of them should be removed. I may have time to have a look at it this weekend.

GuillaumeGen commented 11 months ago

I do not understand your point. Isn't the fact that CI is green with tezt 4.0.0 a sufficient proof that our test suite is compatible with this version?