Report > susv3 > Idempotency of prerm remove > OSEF #10

log

[UTL] rm -r /usr/share/doc/susv3/susv3: remove file or directory
[UTL] rm /usr/share/doc/susv3/susv3xbd: target does not exist or is a directory
[UTL] rm /usr/share/doc/susv3/susv3xcu: 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₄₇₄₀ -> 6893
          
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} 6893
      ~{usr} 6893
      ~{usr} 6893
      ~{usr} 6893
    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} 6257
    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} 6259
    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} 6261
    nfens:
    nsims:
    
  6184:
    initial: false
    kind: dir
    feats:
      susv3 -> 6177
      susv3xbd -> maybe: 6216, 6874
      susv3xcu -> 6247
    fen: false
    sims:
      ~{susv3, susv3xcu} 6255
    nfens:
    nsims:
    
  6216:
    initial: false
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6247:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6255:
    initial: false
    kind: dir
    feats:
      susv3 -> X
      susv3xbd -> maybe: 6216, 6874
      susv3xcu -> X
    fen: false
    sims:
      ~{susv3, susv3xcu} 6184
    nfens:
    nsims:
    
  6257:
    initial: false
    kind: dir
    feats:
      X11R6 -> 6156
      bin -> 6155
      include -> 6154
      lib -> 6153
      local -> 6143
      sbin -> 6142
      share -> 6259
      src -> 6138
    fen: false
    sims:
      ~{share} 6137
    nfens:
    nsims:
    
  6259:
    initial: false
    kind: dir
    feats:
      doc -> 6261
      man -> 6141
      misc -> 6140
    fen: false
    sims:
      ~{doc} 6139
    nfens:
    nsims:
    
  6261:
    initial: false
    kind: dir
    feats:
      susv3 -> 6255
    fen: false
    sims:
      ~{susv3} 6180
    nfens:
    nsims:
    
  6874:
    initial: false
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6893:
    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 -> 6257
      var -> 6123
    fen: false
    sims:
      ~{usr} 6122
      ~{usr} 6893
      ~{usr} 6893
    nfens:
    nsims:
    
  
log: |
  [UTL] rm -r /usr/share/doc/susv3/susv3: remove file or directory
  [UTL] rm /usr/share/doc/susv3/susv3xbd: target does not exist or is a directory
  [UTL] rm /usr/share/doc/susv3/susv3xcu: 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