search

objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7 stars 2 forks source link

Normalizer is testable #329

Closed deemp closed 4 months ago

deemp commented 4 months ago
Source Pipeline script
Stimulus Pipeline script runs normalizer on one of steps.
Environment CI
Artifact normalizer executable
Response normalizer transforms supplied PHI programs.
Response measure For 100% of tests, results of running normalized and non-normalized tests are the same.

Tested in the pipeline

https://github.com/objectionary/normalizer/blob/a970152a20373d1c33190495788bfe53e8869542/.github/workflows/ghc.yml#L209-L210