Run tests on all rule sets - Githubissues

objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)

https://www.objectionary.com/eo-phi-normalizer/

MIT License

7 stars 2 forks source link

Run tests on all rule sets #447

Open deemp opened 2 months ago

deemp commented 2 months 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