objectionary / normalizer

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

Test partially normalized programs #405

Open deemp opened 3 months ago

deemp commented 3 months ago

Details

Currently, we either test fully dataized programs or initial programs without changes (see reports and artifacts - link).

We should check that each partially normalized program preserves the semantics of the original program.

We'll use a single configuration for pipeline tests. In this configuration, some atoms can be explicitly enabled or disabled (white-black list). By default, all implemented atoms are enabled.

Subtasks