ReportrcconfIdempotency of postrm purgeOSEF #0

log

[UTL] test 'purge' = 'remove': string are not equal
[UTL] test 'purge' = 'purge': strings are equal
[UTL] rm -r /var/lib/rcconf: remove file or directory
[UTL] test 'purge' = 'remove': string are not equal
[UTL] test 'purge' = 'purge': strings are equal
[UTL] rm -r /var/lib/rcconf: target does not exist

Debug

root: r₂₂₇₅
clause: globals:
          r₂₂₁₂ -> 2682
          r₂₂₇₅ -> 2705
          
equalities:
  
info:
  2627:
    initial: false
    kind: dir
    feats:
      cache -> 2640
      lib -> 2688
      lock -> 2637
      log -> 2636
      opt -> 2635
      run -> 2634
      spool -> 2630
      tmp -> 2629
      www -> 2628
    fen: false
    sims:
      ~{lib} 2691
    nfens:
    nsims:
    
  2628:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2629:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2630:
    initial: true
    kind: dir
    feats:
      cron -> 2633
      mail -> 2632
      mqueue -> 2631
    fen: false
    sims:
    nfens:
    nsims:
    
  2631:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2632:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2633:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2634:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2635:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2636:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2637:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2639:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2640:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2641:
    initial: true
    kind: dir
    feats:
      X11R6 -> 2660
      bin -> 2659
      include -> 2658
      lib -> 2657
      local -> 2647
      sbin -> 2646
      share -> 2643
      src -> 2642
    fen: false
    sims:
    nfens:
    nsims:
    
  2642:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2643:
    initial: true
    kind: dir
    feats:
      man -> 2645
      misc -> 2644
    fen: false
    sims:
    nfens:
    nsims:
    
  2644:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2645:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2646:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2647:
    initial: true
    kind: dir
    feats:
      bin -> 2656
      etc -> 2655
      games -> 2654
      include -> 2653
      lib -> 2652
      man -> 2651
      sbin -> 2650
      share -> 2649
      src -> 2648
    fen: false
    sims:
    nfens:
    nsims:
    
  2648:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2649:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2650:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2651:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2652:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2653:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2654:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2655:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2656:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2657:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2658:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2659:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2660:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2661:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2662:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2663:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2664:
    initial: true
    kind: dir
    feats:
      lock -> 2665
    fen: false
    sims:
    nfens:
    nsims:
    
  2665:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2666:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2667:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2668:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2669:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2670:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2671:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2672:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2673:
    initial: true
    kind: dir
    feats:
      X11 -> 2677
      opt -> 2676
      sgml -> 2675
      xml -> 2674
    fen: false
    sims:
    nfens:
    nsims:
    
  2674:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2675:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2676:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2677:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2678:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2679:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2680:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2682:
    initial: false
    kind: dir
    feats:
      bin -> 2680
      boot -> 2679
      dev -> 2678
      etc -> 2673
      home -> 2672
      lib -> 2671
      media -> 2670
      mnt -> 2669
      opt -> 2668
      proc -> 2667
      root -> 2666
      run -> 2664
      sbin -> 2663
      srv -> 2662
      tmp -> 2661
      usr -> 2641
      var -> 2627
    fen: false
    sims:
      ~{var} 2705
      ~{var} 2705
      ~{var} 2705
      ~{var} 2705
    nfens:
    nsims:
    
  2683:
    initial: false
    kind: *
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2688:
    initial: false
    kind: dir
    feats:
      misc -> 2639
      rcconf -> 2683
    fen: false
    sims:
      ~{rcconf} 2689
    nfens:
    nsims:
    
  2689:
    initial: false
    kind: dir
    feats:
      misc -> 2639
      rcconf -> X
    fen: false
    sims:
      ~{rcconf} 2688
    nfens:
    nsims:
    
  2691:
    initial: false
    kind: dir
    feats:
      cache -> 2640
      lib -> 2689
      lock -> 2637
      log -> 2636
      opt -> 2635
      run -> 2634
      spool -> 2630
      tmp -> 2629
      www -> 2628
    fen: false
    sims:
      ~{lib} 2627
    nfens:
    nsims:
    
  2705:
    initial: false
    kind: dir
    feats:
      bin -> 2680
      boot -> 2679
      dev -> 2678
      etc -> 2673
      home -> 2672
      lib -> 2671
      media -> 2670
      mnt -> 2669
      opt -> 2668
      proc -> 2667
      root -> 2666
      run -> 2664
      sbin -> 2663
      srv -> 2662
      tmp -> 2661
      usr -> 2641
      var -> 2691
    fen: false
    sims:
      ~{var} 2682
      ~{var} 2705
      ~{var} 2705
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'purge' = 'remove': string are not equal
  [UTL] test 'purge' = 'purge': strings are equal
  [UTL] rm -r /var/lib/rcconf: remove file or directory
  [UTL] test 'purge' = 'remove': string are not equal
  [UTL] test 'purge' = 'purge': strings are equal
  [UTL] rm -r /var/lib/rcconf: target does not exist