ReportozIdempotency of postrm removeOSEF #0

log

[UTL] test 'remove' = 'purge': string are not equal
[UTL] test 'remove' = 'remove': strings are equal
[UTL] test 'remove' = 'purge': string are not equal
[UTL] test 'remove' = 'remove': strings are equal

Debug

root: r₁₅₀₄
clause: globals:
          r₁₄₄₆ -> 1651
          r₁₅₀₄ -> 1651
          
equalities:
  
info:
  1594:
    initial: true
    kind: dir
    feats:
      cache -> 1607
      lib -> 1605
      lock -> 1604
      log -> 1603
      opt -> 1602
      run -> 1601
      spool -> 1597
      tmp -> 1596
      www -> 1595
    fen: false
    sims:
    nfens:
    nsims:
    
  1595:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1596:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1597:
    initial: true
    kind: dir
    feats:
      cron -> 1600
      mail -> 1599
      mqueue -> 1598
    fen: false
    sims:
    nfens:
    nsims:
    
  1598:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1599:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1600:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1601:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1602:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1603:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1604:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1605:
    initial: true
    kind: dir
    feats:
      misc -> 1606
    fen: false
    sims:
    nfens:
    nsims:
    
  1606:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1607:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1608:
    initial: true
    kind: dir
    feats:
      X11R6 -> 1627
      bin -> 1626
      include -> 1625
      lib -> 1624
      local -> 1614
      sbin -> 1613
      share -> 1610
      src -> 1609
    fen: false
    sims:
    nfens:
    nsims:
    
  1609:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1610:
    initial: true
    kind: dir
    feats:
      man -> 1612
      misc -> 1611
    fen: false
    sims:
    nfens:
    nsims:
    
  1611:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1612:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1613:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1614:
    initial: true
    kind: dir
    feats:
      bin -> 1623
      etc -> 1622
      games -> 1621
      include -> 1620
      lib -> 1619
      man -> 1618
      sbin -> 1617
      share -> 1616
      src -> 1615
    fen: false
    sims:
    nfens:
    nsims:
    
  1615:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1616:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1617:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1618:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1619:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1620:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1621:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1622:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1623:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1624:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1625:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1626:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1627:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1628:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1629:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1630:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1631:
    initial: true
    kind: dir
    feats:
      lock -> 1632
    fen: false
    sims:
    nfens:
    nsims:
    
  1632:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1633:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1634:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1635:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1636:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1637:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1638:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1639:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1640:
    initial: true
    kind: dir
    feats:
      X11 -> 1644
      opt -> 1643
      sgml -> 1642
      xml -> 1641
    fen: false
    sims:
    nfens:
    nsims:
    
  1641:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1642:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1643:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1644:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1645:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1646:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1647:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1651:
    initial: false
    kind: dir
    feats:
      bin -> 1647
      boot -> 1646
      dev -> 1645
      etc -> 1640
      home -> 1639
      lib -> 1638
      media -> 1637
      mnt -> 1636
      opt -> 1635
      proc -> 1634
      root -> 1633
      run -> 1631
      sbin -> 1630
      srv -> 1629
      tmp -> 1628
      usr -> 1608
      var -> 1594
    fen: false
    sims:
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'remove' = 'purge': string are not equal
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] test 'remove' = 'purge': string are not equal
  [UTL] test 'remove' = 'remove': strings are equal