eo icon indicating copy to clipboard operation
eo copied to clipboard

Sodg test error (clarification needed)

Open mximp opened this issue 2 years ago • 4 comments

After some changes the following error is produced during SODG tests:

Expected: Can't find path '.ρ' (#5) while staying at $Φ.arrays.z.α0.α0.α0 in this XML:
<?xml version="1.0" encoding="UTF-8"?>
<graph sodg-path="/var/folders/zr/6768ch3d1k5d4l57c4dfylnr0000gn/T/eo3674356551679307235/target/sodg/foo/x/main.sodg">
   <v id="ν0">
      <e title="arrays" to="$Φ.arrays"/>
      <e title="org" to="$Φ.org"/>
      <e title="+version" to="$meta-version"/>
      <e title="+time" to="$meta-time"/>
   </v>
   <v id="$Φ.arrays">
      <e title="z" to="$Φ.arrays.z"/>
      <e title="σ" to="ν0"/>
      <e title="ρ" to="ν0"/>
   </v>
   <v id="$Φ.arrays.z">
      <e title="α0" to="$Φ.arrays.z.α0"/>
      <e title="ρ" to="$Φ.arrays"/>
      <e title="π" to="$Φ.org.eolang.tuple"/>
   </v>
   <v id="$Φ.org">
      <e title="eolang" to="$Φ.org.eolang"/>
   </v>
   <v id="$Φ.org.eolang">
      <e title="tuple" to="$Φ.org.eolang.tuple"/>
      <e title="test" to="$Φ.org.eolang.test"/>
      <e title="int" to="$Φ.org.eolang.int"/>
   </v>
   <v id="$Φ.org.eolang.tuple"/>
   <v id="$Φ.arrays.z.α0">
      <e title="α0" to="$Φ.arrays.z.α0.α0"/>
      <e title="π" to="$Φ.arrays.z.α0.β2"/>
   </v>
   <v id="$Φ.arrays.z.α0.ρ">
      <e title="ε" to="$Φ.arrays.z.α0.ρ.β2"/>
   </v>
   <v id="$Φ.arrays.z.α0.ρ.ρ">
      <e title="ε" to="$Φ.org.eolang.test"/>
   </v>
   <v id="$Φ.org.eolang.test"/>
   <v id="$Φ.arrays.z.α0.α0">
      <e title="α0" to="$Φ.arrays.z.α0.α0.α0"/>
      <e title="ρ" to="$Φ.arrays"/>
      <e title="π" to="$Φ.org.eolang.tuple"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0">
      <e title="α0" to="$Φ.arrays.z.α0.α0.α0.α0"/>
      <e title="π" to="$Φ.arrays.z.α0.α0.α0.β2"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.ρ">
      <e title="ε" to="$Φ.arrays.z.α0.α0.α0.ρ.β2"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.ρ.ρ">
      <e title="π" to="$Φ.org.eolang.int"/>
      <e title="Δ" to="$Φ.arrays.z.α0.α0.α0.ρ.ρ.Δ"/>
   </v>
   <v id="$Φ.org.eolang.int"/>
   <v id="$Φ.arrays.z.α0.α0.α0.α0">
      <e title="π" to="$Φ.org.eolang.int"/>
      <e title="Δ" to="$Φ.arrays.z.α0.α0.α0.α0.Δ"/>
   </v>
   <v id="$Φ.arrays.z.α0.β1">
      <e title="with" to="$Φ.arrays.z.α0.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.β2">
      <e title="β" to="$Φ.arrays.z.α0.β1"/>
      <e title="ρ" to="$Φ.arrays.z.α0.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.ρ.β1">
      <e title="with" to="$Φ.arrays.z.α0.ρ.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.ρ.β2">
      <e title="β" to="$Φ.arrays.z.α0.ρ.β1"/>
      <e title="ρ" to="$Φ.arrays.z.α0.ρ.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.β1">
      <e title="with" to="$Φ.arrays.z.α0.α0.α0.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.β2">
      <e title="β" to="$Φ.arrays.z.α0.α0.α0.β1"/>
      <e title="ρ" to="$Φ.arrays.z.α0.α0.α0.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.ρ.β1">
      <e title="with" to="$Φ.arrays.z.α0.α0.α0.ρ.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.ρ.β2">
      <e title="β" to="$Φ.arrays.z.α0.α0.α0.ρ.β1"/>
      <e title="ρ" to="$Φ.arrays.z.α0.α0.α0.ρ.ρ"/>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.ρ.ρ.Δ">
      <data>00-00-00-00-00-00-00-2A</data>
   </v>
   <v id="$Φ.arrays.z.α0.α0.α0.α0.Δ">
      <data>00-00-00-00-00-00-00-2B</data>
   </v>
   <v id="$meta-version">
      <data>30-2E-30-2D-53-4E-41-50-53-48-4F-54</data>
   </v>
   <v id="$meta-time">
      <data>32-30-32-33-2D-30-36-2D-30-37-54-30-39-3A-34-33-3A-31-35-2E-32-34-35-36-38-34-5A</data>
   </v>
</graph>

     but: was ".arrays .z .α0 .α0 .α0 .ρ .ρ .Δ δ=00-00-00-00-00-00-00-2A"

It is unclear why .arrays .z .α0 .α0 .α0 .ρ .ρ .Δ δ=00-00-00-00-00-00-00-2A path is not found since in printed graph this path presents:

<v id="$Φ.arrays.z.α0.α0.α0.ρ.ρ.Δ">
  <data>00-00-00-00-00-00-00-2A</data>
</v>

mximp avatar Jun 07 '23 09:06 mximp

@yegor256 can you please advise on this

mximp avatar Jun 07 '23 09:06 mximp

@mximp I think the real problem is this:

Can't find path '.ρ' (#5) while staying at $Φ.arrays.z.α0.α0.α0 in this XML:

It goes to .arrays.z.α0.α0.α0 and then tries to jump to , but can't

yegor256 avatar Jun 09 '23 10:06 yegor256

@yegor256 Could you explain what "jump" means in terms of SODG and particularly for provided XML? What structure has to present there?

mximp avatar Jun 09 '23 11:06 mximp

@yegor256 @mximp Still an issue?

Graur avatar Aug 11 '23 12:08 Graur