ReportmirmonIdempotency of postrm removeOSEF #0

log

[UTL] test 'remove' = 'remove': strings are equal
[UTL] test 'remove' = 'remove': strings are equal

Debug

root: r₁₆₀₇
clause: globals:
          r₁₅₅₁ -> 1864
          r₁₆₀₇ -> 1864
          
equalities:
  
info:
  1809:
    initial: true
    kind: dir
    feats:
      cache -> 1822
      lib -> 1820
      lock -> 1819
      log -> 1818
      opt -> 1817
      run -> 1816
      spool -> 1812
      tmp -> 1811
      www -> 1810
    fen: false
    sims:
    nfens:
    nsims:
    
  1810:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1811:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1812:
    initial: true
    kind: dir
    feats:
      cron -> 1815
      mail -> 1814
      mqueue -> 1813
    fen: false
    sims:
    nfens:
    nsims:
    
  1813:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1814:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1815:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1816:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1817:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1818:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1819:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1820:
    initial: true
    kind: dir
    feats:
      misc -> 1821
    fen: false
    sims:
    nfens:
    nsims:
    
  1821:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1822:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1823:
    initial: true
    kind: dir
    feats:
      X11R6 -> 1842
      bin -> 1841
      include -> 1840
      lib -> 1839
      local -> 1829
      sbin -> 1828
      share -> 1825
      src -> 1824
    fen: false
    sims:
    nfens:
    nsims:
    
  1824:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1825:
    initial: true
    kind: dir
    feats:
      man -> 1827
      misc -> 1826
    fen: false
    sims:
    nfens:
    nsims:
    
  1826:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1827:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1828:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1829:
    initial: true
    kind: dir
    feats:
      bin -> 1838
      etc -> 1837
      games -> 1836
      include -> 1835
      lib -> 1834
      man -> 1833
      sbin -> 1832
      share -> 1831
      src -> 1830
    fen: false
    sims:
    nfens:
    nsims:
    
  1830:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1831:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1832:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1833:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1834:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1835:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1836:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1837:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1838:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1839:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1840:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1841:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1842:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1843:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1844:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1845:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1846:
    initial: true
    kind: dir
    feats:
      lock -> 1847
    fen: false
    sims:
    nfens:
    nsims:
    
  1847:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1848:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1849:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1850:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1851:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1852:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1853:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1854:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1855:
    initial: true
    kind: dir
    feats:
      X11 -> 1859
      opt -> 1858
      sgml -> 1857
      xml -> 1856
    fen: false
    sims:
    nfens:
    nsims:
    
  1856:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1857:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1858:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1859:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1860:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1861:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1862:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1864:
    initial: false
    kind: dir
    feats:
      bin -> 1862
      boot -> 1861
      dev -> 1860
      etc -> 1855
      home -> 1854
      lib -> 1853
      media -> 1852
      mnt -> 1851
      opt -> 1850
      proc -> 1849
      root -> 1848
      run -> 1846
      sbin -> 1845
      srv -> 1844
      tmp -> 1843
      usr -> 1823
      var -> 1809
    fen: false
    sims:
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] test 'remove' = 'remove': strings are equal