ReportrcconfIdempotency of prerm removeOSEF #2

log

[UTL] test 'remove' = 'remove': strings are equal
[UTL] test -e /usr/bin/rcconf: path resolves
[UTL] rm /usr/bin/rcconf: remove file
[UTL] test 'remove' = 'remove': strings are equal
[UTL] test -e /usr/bin/rcconf: path does not resolve

Debug

root: r₂₁₅₃
clause: globals:
          r₂₀₇₈ -> 2516
          r₂₁₅₃ -> 2568
          
equalities:
  
info:
  2457:
    initial: true
    kind: dir
    feats:
      cache -> 2470
      lib -> 2468
      lock -> 2467
      log -> 2466
      opt -> 2465
      run -> 2464
      spool -> 2460
      tmp -> 2459
      www -> 2458
    fen: false
    sims:
    nfens:
    nsims:
    
  2458:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2459:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2460:
    initial: true
    kind: dir
    feats:
      cron -> 2463
      mail -> 2462
      mqueue -> 2461
    fen: false
    sims:
    nfens:
    nsims:
    
  2461:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2462:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2463:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2464:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2465:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2466:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2467:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2468:
    initial: true
    kind: dir
    feats:
      misc -> 2469
    fen: false
    sims:
    nfens:
    nsims:
    
  2469:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2470:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2471:
    initial: false
    kind: dir
    feats:
      X11R6 -> 2490
      bin -> 2525
      include -> 2488
      lib -> 2487
      local -> 2477
      sbin -> 2476
      share -> 2473
      src -> 2472
    fen: false
    sims:
      ~{bin} 2528
    nfens:
    nsims:
    
  2472:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2473:
    initial: true
    kind: dir
    feats:
      man -> 2475
      misc -> 2474
    fen: false
    sims:
    nfens:
    nsims:
    
  2474:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2475:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2476:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2477:
    initial: true
    kind: dir
    feats:
      bin -> 2486
      etc -> 2485
      games -> 2484
      include -> 2483
      lib -> 2482
      man -> 2481
      sbin -> 2480
      share -> 2479
      src -> 2478
    fen: false
    sims:
    nfens:
    nsims:
    
  2478:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2479:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2480:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2481:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2482:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2483:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2484:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2485:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2486:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2487:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2488:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2490:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2491:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2492:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2493:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2494:
    initial: true
    kind: dir
    feats:
      lock -> 2495
    fen: false
    sims:
    nfens:
    nsims:
    
  2495:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2496:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2497:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2498:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2499:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2500:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2501:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2502:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2503:
    initial: true
    kind: dir
    feats:
      X11 -> 2507
      opt -> 2506
      sgml -> 2505
      xml -> 2504
    fen: false
    sims:
    nfens:
    nsims:
    
  2504:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2505:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2506:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2507:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2508:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2509:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2510:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2516:
    initial: false
    kind: dir
    feats:
      bin -> 2510
      boot -> 2509
      dev -> 2508
      etc -> 2503
      home -> 2502
      lib -> 2501
      media -> 2500
      mnt -> 2499
      opt -> 2498
      proc -> 2497
      root -> 2496
      run -> 2494
      sbin -> 2493
      srv -> 2492
      tmp -> 2491
      usr -> 2471
      var -> 2457
    fen: false
    sims:
      ~{usr} 2568
      ~{usr} 2568
      ~{usr} 2568
    nfens:
    nsims:
    
  2520:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  2525:
    initial: false
    kind: dir
    feats:
      rcconf -> 2520
    fen: false
    sims:
      ~{rcconf} 2526
    nfens:
    nsims:
    
  2526:
    initial: false
    kind: dir
    feats:
      rcconf -> X
    fen: false
    sims:
      ~{rcconf} 2525
    nfens:
    nsims:
    
  2528:
    initial: false
    kind: dir
    feats:
      X11R6 -> 2490
      bin -> 2526
      include -> 2488
      lib -> 2487
      local -> 2477
      sbin -> 2476
      share -> 2473
      src -> 2472
    fen: false
    sims:
      ~{bin} 2471
    nfens:
    nsims:
    
  2568:
    initial: false
    kind: dir
    feats:
      bin -> 2510
      boot -> 2509
      dev -> 2508
      etc -> 2503
      home -> 2502
      lib -> 2501
      media -> 2500
      mnt -> 2499
      opt -> 2498
      proc -> 2497
      root -> 2496
      run -> 2494
      sbin -> 2493
      srv -> 2492
      tmp -> 2491
      usr -> 2528
      var -> 2457
    fen: false
    sims:
      ~{usr} 2516
      ~{usr} 2568
      ~{usr} 2568
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] test -e /usr/bin/rcconf: path resolves
  [UTL] rm /usr/bin/rcconf: remove file
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] test -e /usr/bin/rcconf: path does not resolve