ReportdnshistoryIdempotency of postrm purgeOSEF #1

log

[UTL] test 'purge' = 'purge': strings are equal
[UTL] test -d /var/lib/dnshistory: path resolves to file of type 'd'
[UTL] rm -r /var/lib/dnshistory: remove file or directory
[UTL] test 'purge' = 'purge': strings are equal
[UTL] test -d /var/lib/dnshistory: path does not resolve or to file of type other than 'd'

Debug

root: r₁₀₉₂
clause: globals:
          r₁₀₂₄ -> 1188
          r₁₀₉₂ -> 1226
          
equalities:
  
info:
  1129:
    initial: false
    kind: dir
    feats:
      cache -> 1142
      lib -> 1199
      lock -> 1139
      log -> 1138
      opt -> 1137
      run -> 1136
      spool -> 1132
      tmp -> 1131
      www -> 1130
    fen: false
    sims:
      ~{lib} 1202
    nfens:
    nsims:
    
  1130:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1131:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1132:
    initial: true
    kind: dir
    feats:
      cron -> 1135
      mail -> 1134
      mqueue -> 1133
    fen: false
    sims:
    nfens:
    nsims:
    
  1133:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1134:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1135:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1136:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1137:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1138:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1139:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1141:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1142:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1143:
    initial: true
    kind: dir
    feats:
      X11R6 -> 1162
      bin -> 1161
      include -> 1160
      lib -> 1159
      local -> 1149
      sbin -> 1148
      share -> 1145
      src -> 1144
    fen: false
    sims:
    nfens:
    nsims:
    
  1144:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1145:
    initial: true
    kind: dir
    feats:
      man -> 1147
      misc -> 1146
    fen: false
    sims:
    nfens:
    nsims:
    
  1146:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1147:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1148:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1149:
    initial: true
    kind: dir
    feats:
      bin -> 1158
      etc -> 1157
      games -> 1156
      include -> 1155
      lib -> 1154
      man -> 1153
      sbin -> 1152
      share -> 1151
      src -> 1150
    fen: false
    sims:
    nfens:
    nsims:
    
  1150:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1151:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1152:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1153:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1154:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1155:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1156:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1157:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1158:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1159:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1160:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1161:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1162:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1163:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1164:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1165:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1166:
    initial: true
    kind: dir
    feats:
      lock -> 1167
    fen: false
    sims:
    nfens:
    nsims:
    
  1167:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1168:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1169:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1170:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1171:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1172:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1173:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1174:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1175:
    initial: true
    kind: dir
    feats:
      X11 -> 1179
      opt -> 1178
      sgml -> 1177
      xml -> 1176
    fen: false
    sims:
    nfens:
    nsims:
    
  1176:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1177:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1178:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1179:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1180:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1181:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1182:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1188:
    initial: false
    kind: dir
    feats:
      bin -> 1182
      boot -> 1181
      dev -> 1180
      etc -> 1175
      home -> 1174
      lib -> 1173
      media -> 1172
      mnt -> 1171
      opt -> 1170
      proc -> 1169
      root -> 1168
      run -> 1166
      sbin -> 1165
      srv -> 1164
      tmp -> 1163
      usr -> 1143
      var -> 1129
    fen: false
    sims:
      ~{var} 1226
      ~{var} 1226
      ~{var} 1226
    nfens:
    nsims:
    
  1194:
    initial: false
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  1199:
    initial: false
    kind: dir
    feats:
      dnshistory -> 1194
      misc -> 1141
    fen: false
    sims:
      ~{dnshistory} 1200
    nfens:
    nsims:
    
  1200:
    initial: false
    kind: dir
    feats:
      dnshistory -> X
      misc -> 1141
    fen: false
    sims:
      ~{dnshistory} 1199
    nfens:
    nsims:
    
  1202:
    initial: false
    kind: dir
    feats:
      cache -> 1142
      lib -> 1200
      lock -> 1139
      log -> 1138
      opt -> 1137
      run -> 1136
      spool -> 1132
      tmp -> 1131
      www -> 1130
    fen: false
    sims:
      ~{lib} 1129
    nfens:
    nsims:
    
  1226:
    initial: false
    kind: dir
    feats:
      bin -> 1182
      boot -> 1181
      dev -> 1180
      etc -> 1175
      home -> 1174
      lib -> 1173
      media -> 1172
      mnt -> 1171
      opt -> 1170
      proc -> 1169
      root -> 1168
      run -> 1166
      sbin -> 1165
      srv -> 1164
      tmp -> 1163
      usr -> 1143
      var -> 1202
    fen: false
    sims:
      ~{var} 1188
      ~{var} 1226
      ~{var} 1226
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'purge' = 'purge': strings are equal
  [UTL] test -d /var/lib/dnshistory: path resolves to file of type 'd'
  [UTL] rm -r /var/lib/dnshistory: remove file or directory
  [UTL] test 'purge' = 'purge': strings are equal
  [UTL] test -d /var/lib/dnshistory: path does not resolve or to file of type other than 'd'