Test partially normalized programs #405
Labels
(eo pipeline)
Related to the CI pipeline with the EO compiler
(normalizer)
Related to the normalizer application
priority 2
(tests)
Related to tests
Milestone
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
The text was updated successfully, but these errors were encountered: