objectionary / normalizer

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

Which tests should we use? #360

Closed deemp closed 2 months ago

deemp commented 3 months ago

@yegor256

For some eo-runtime tests (link), we have one formation at the org.eolang path in the non-normalized and normalized version. So, the normalizer can't reduce the number of formations. Example:

non-normalized:

{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        compares-two-bools ↦ ⟦
          φ ↦ Φ.org.eolang.true.eq(
            α0 ↦ Φ.org.eolang.true
          )
        ⟧,
        ...
     ⟧
  ⟧
}

normalized:

{
  ⟦ 
    org ↦ ⟦ 
       eolang ↦ ⟦ 
         compares-two-bools ↦ ⟦ 
           Δ ⤍ 01- 
         ⟧
       ⟧
    ⟧
  ⟧
}
yegor256 commented 3 months ago

@deemp I believe, you should use all tests available in the EO project. Yes, sometimes you can't reduce the number of formations.

deemp commented 3 months ago

@yegor256, should we print N/A in such cases and not count these programs in the final results?

image