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

log

[UTL] rm -r /usr/share/doc/susv3/susv3: target does not exist
[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: target does not exist or is a directory
[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₄₄₇₂ -> 6198
          r₄₆₇₀ -> 6708
          
equalities:
  
info:
  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} 6353
    nfens:
    nsims:
    
  6138:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6139:
    initial: false
    kind: dir
    feats:
      doc -> 6196
      man -> 6141
      misc -> 6140
    fen: false
    sims:
      ~{doc} 6355
    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:
    
  6196:
    initial: false
    kind: dir
    feats:
      susv3 -> 6278
    fen: false
    sims:
      ~{susv3} 6357
    nfens:
    nsims:
    
  6198:
    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} 6708
      ~{usr} 6708
      ~{usr} 6708
      ~{usr} 6708
      ~{usr} 6708
    nfens:
    nsims:
    
  6271:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6278:
    initial: false
    kind: dir
    feats:
      susv3 -> X
      susv3xbd -> 6271
      susv3xcu -> 6295
      susv3xrat -> 6343
      susv3xsh -> maybe: 6384
    fen: false
    sims:
      ~{susv3xbd, susv3xcu, susv3xrat} 6351
    nfens:
    nsims:
    
  6295:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6343:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6351:
    initial: false
    kind: dir
    feats:
      susv3 -> X
      susv3xbd -> X
      susv3xcu -> X
      susv3xrat -> X
      susv3xsh -> maybe: 6384
    fen: false
    sims:
      ~{susv3xbd, susv3xcu, susv3xrat} 6278
    nfens:
    nsims:
    
  6353:
    initial: false
    kind: dir
    feats:
      X11R6 -> 6156
      bin -> 6155
      include -> 6154
      lib -> 6153
      local -> 6143
      sbin -> 6142
      share -> 6355
      src -> 6138
    fen: false
    sims:
      ~{share} 6137
    nfens:
    nsims:
    
  6355:
    initial: false
    kind: dir
    feats:
      doc -> 6357
      man -> 6141
      misc -> 6140
    fen: false
    sims:
      ~{doc} 6139
    nfens:
    nsims:
    
  6357:
    initial: false
    kind: dir
    feats:
      susv3 -> 6351
    fen: false
    sims:
      ~{susv3} 6196
    nfens:
    nsims:
    
  6384:
    initial: false
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  6708:
    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 -> 6353
      var -> 6123
    fen: false
    sims:
      ~{usr} 6198
      ~{usr} 6708
      ~{usr} 6708
    nfens:
    nsims:
    
  
log: |
  [UTL] rm -r /usr/share/doc/susv3/susv3: target does not exist
  [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: target does not exist or is a directory
  [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