Run tests on all rule sets - Githubissues

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions

https://www.objectionary.com/normalizer/

MIT License

7 stars 2 forks source link

Run tests on all rule sets #447

Open deemp opened 1 month ago

deemp commented 1 month ago

Details

Context

There are two rule sets (implementations of Yegor's rules):

yegor.yaml
built-in rules via fastYegorInsideOut

Problem

Currently, we don't run tests for built-in rules.

Solution

Run tests with built-in rules after running them with yegor.yaml rules.

Subtasks

[ ] Run with built-in rules:
- [ ] confluence tests https://github.com/objectionary/normalizer/blob/34833ecaac2d2608493140bb936c28837465e64a/eo-phi-normalizer/test/Language/EO/Rules/PhiPaperSpec.hs#L311
- [ ] dataization.yaml https://github.com/objectionary/normalizer/blob/34833ecaac2d2608493140bb936c28837465e64a/eo-phi-normalizer/test/Language/EO/Phi/DataizeSpec.hs#L40