Reportsusv3Idempotency of prerm removeNon-Idempotent #0

log

[UTL] rm -r /usr/share/doc/susv3/susv3: remove file or directory
[UTL] rm /usr/share/doc/susv3/susv3xbd: remove file
[UTL] rm /usr/share/doc/susv3/susv3xcu: remove file
[UTL] rm /usr/share/doc/susv3/susv3xrat: remove file
[UTL] rm /usr/share/doc/susv3/susv3xsh: remove file
[UTL] rm -r /usr/share/doc/susv3/susv3: target does not exist
[UTL] rm /usr/share/doc/susv3/susv3xbd: target does not exist or is a directory
[UTL] rm /usr/share/doc/susv3/susv3xcu: target does not exist or is a directory

Debug

root: r₄₇₆₈
clause: globals:
          r₄₄₇₂ -> 6122
          r₄₇₆₈ -> 6967
          
equalities:
  
info:
  6122:
    initial: false
    kind: dir
    feats:
      bin -> 6176
      boot -> 6175
      dev -> 6174
      etc -> 6169
      home -> 6168
      lib -> 6167
      media -> 6166
      mnt -> 6165
      opt -> 6164
      proc -> 6163
      root -> 6162
      run -> 6160
      sbin -> 6159
      srv -> 6158
      tmp -> 6157
      usr -> 6137
      var -> 6123
    fen: false
    sims:
      ~{usr} 6967
      ~{usr} 6967
      ~{usr} 6967
      ~{usr} 6967
    nfens:
    nsims:
    
  6123:
    initial: true
    kind: dir
    feats:
      cache -> 6136
      lib -> 6134
      lock -> 6133
      log -> 6132
      opt -> 6131
      run -> 6130
      spool -> 6126
      tmp -> 6125
      www -> 6124
    fen: false
    sims:
    nfens:
    nsims:
    
  6124:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6125:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6126:
    initial: true
    kind: dir
    feats:
      cron -> 6129
      mail -> 6128
      mqueue -> 6127
    fen: false
    sims:
    nfens:
    nsims:
    
  6127:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6128:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6129:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6130:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6131:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6132:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6133:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6134:
    initial: true
    kind: dir
    feats:
      misc -> 6135
    fen: false
    sims:
    nfens:
    nsims:
    
  6135:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6136:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6137:
    initial: false
    kind: dir
    feats:
      X11R6 -> 6156
      bin -> 6155
      include -> 6154
      lib -> 6153
      local -> 6143
      sbin -> 6142
      share -> 6139
      src -> 6138
    fen: false
    sims:
      ~{share} 6449
    nfens:
    nsims:
    
  6138:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6139:
    initial: false
    kind: dir
    feats:
      doc -> 6180
      man -> 6141
      misc -> 6140
    fen: false
    sims:
      ~{doc} 6451
    nfens:
    nsims:
    
  6140:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6141:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6142:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6143:
    initial: true
    kind: dir
    feats:
      bin -> 6152
      etc -> 6151
      games -> 6150
      include -> 6149
      lib -> 6148
      man -> 6147
      sbin -> 6146
      share -> 6145
      src -> 6144
    fen: false
    sims:
    nfens:
    nsims:
    
  6144:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6145:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6146:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6147:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6148:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6149:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6150:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6151:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6152:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6153:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6154:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6155:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6156:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6157:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6158:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6159:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6160:
    initial: true
    kind: dir
    feats:
      lock -> 6161
    fen: false
    sims:
    nfens:
    nsims:
    
  6161:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6162:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6163:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6164:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6165:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6166:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6167:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6168:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6169:
    initial: true
    kind: dir
    feats:
      X11 -> 6173
      opt -> 6172
      sgml -> 6171
      xml -> 6170
    fen: false
    sims:
    nfens:
    nsims:
    
  6170:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6171:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6172:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6173:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6174:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6175:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6176:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6177:
    initial: false
    kind: *
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6180:
    initial: false
    kind: dir
    feats:
      susv3 -> 6184
    fen: false
    sims:
      ~{susv3} 6453
    nfens:
    nsims:
    
  6184:
    initial: false
    kind: dir
    feats:
      susv3 -> 6177
      susv3xbd -> 6199
      susv3xcu -> 6223
      susv3xrat -> 6415
      susv3xsh -> 6439
    fen: false
    sims:
      ~{susv3, susv3xbd, susv3xcu, susv3xrat, susv3xsh} 6447
    nfens:
    nsims:
    
  6199:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6223:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6415:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6439:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6447:
    initial: false
    kind: dir
    feats:
      susv3 -> X
      susv3xbd -> X
      susv3xcu -> X
      susv3xrat -> X
      susv3xsh -> X
    fen: false
    sims:
      ~{susv3, susv3xbd, susv3xcu, susv3xrat, susv3xsh} 6184
    nfens:
    nsims:
    
  6449:
    initial: false
    kind: dir
    feats:
      X11R6 -> 6156
      bin -> 6155
      include -> 6154
      lib -> 6153
      local -> 6143
      sbin -> 6142
      share -> 6451
      src -> 6138
    fen: false
    sims:
      ~{share} 6137
    nfens:
    nsims:
    
  6451:
    initial: false
    kind: dir
    feats:
      doc -> 6453
      man -> 6141
      misc -> 6140
    fen: false
    sims:
      ~{doc} 6139
    nfens:
    nsims:
    
  6453:
    initial: false
    kind: dir
    feats:
      susv3 -> 6447
    fen: false
    sims:
      ~{susv3} 6180
    nfens:
    nsims:
    
  6967:
    initial: false
    kind: dir
    feats:
      bin -> 6176
      boot -> 6175
      dev -> 6174
      etc -> 6169
      home -> 6168
      lib -> 6167
      media -> 6166
      mnt -> 6165
      opt -> 6164
      proc -> 6163
      root -> 6162
      run -> 6160
      sbin -> 6159
      srv -> 6158
      tmp -> 6157
      usr -> 6449
      var -> 6123
    fen: false
    sims:
      ~{usr} 6122
      ~{usr} 6967
      ~{usr} 6967
    nfens:
    nsims:
    
  
log: |
  [UTL] rm -r /usr/share/doc/susv3/susv3: remove file or directory
  [UTL] rm /usr/share/doc/susv3/susv3xbd: remove file
  [UTL] rm /usr/share/doc/susv3/susv3xcu: remove file
  [UTL] rm /usr/share/doc/susv3/susv3xrat: remove file
  [UTL] rm /usr/share/doc/susv3/susv3xsh: remove file
  [UTL] rm -r /usr/share/doc/susv3/susv3: target does not exist
  [UTL] rm /usr/share/doc/susv3/susv3xbd: target does not exist or is a directory
  [UTL] rm /usr/share/doc/susv3/susv3xcu: target does not exist or is a directory