ReportsntpIdempotency of prerm removeOSEF #0

log

[UTL] test 'remove' = 'remove': strings are equal
[UTL] rm /var/lib/sntp/kod: remove file
[UTL] test 'remove' = 'remove': strings are equal
[UTL] rm /var/lib/sntp/kod: target does not exist or is a directory

Debug

root: r₃₈₉₃
clause: globals:
          r₃₈₃₁ -> 5017
          r₃₈₉₃ -> 5049
          
equalities:
  
info:
  4963:
    initial: false
    kind: dir
    feats:
      cache -> 4976
      lib -> 4974
      lock -> 4973
      log -> 4972
      opt -> 4971
      run -> 4970
      spool -> 4966
      tmp -> 4965
      www -> 4964
    fen: false
    sims:
      ~{lib} 5027
    nfens:
    nsims:
    
  4964:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4965:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4966:
    initial: true
    kind: dir
    feats:
      cron -> 4969
      mail -> 4968
      mqueue -> 4967
    fen: false
    sims:
    nfens:
    nsims:
    
  4967:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4968:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4969:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4970:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4971:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4972:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4973:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4974:
    initial: false
    kind: dir
    feats:
      misc -> 4975
      sntp -> 5024
    fen: false
    sims:
      ~{sntp} 5029
    nfens:
    nsims:
    
  4975:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4976:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4977:
    initial: true
    kind: dir
    feats:
      X11R6 -> 4996
      bin -> 4995
      include -> 4994
      lib -> 4993
      local -> 4983
      sbin -> 4982
      share -> 4979
      src -> 4978
    fen: false
    sims:
    nfens:
    nsims:
    
  4978:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4979:
    initial: true
    kind: dir
    feats:
      man -> 4981
      misc -> 4980
    fen: false
    sims:
    nfens:
    nsims:
    
  4980:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4981:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4982:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4983:
    initial: true
    kind: dir
    feats:
      bin -> 4992
      etc -> 4991
      games -> 4990
      include -> 4989
      lib -> 4988
      man -> 4987
      sbin -> 4986
      share -> 4985
      src -> 4984
    fen: false
    sims:
    nfens:
    nsims:
    
  4984:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4985:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4986:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4987:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4988:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4989:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4990:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4991:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4992:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4993:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4994:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4995:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4996:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4997:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4998:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  4999:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5000:
    initial: true
    kind: dir
    feats:
      lock -> 5001
    fen: false
    sims:
    nfens:
    nsims:
    
  5001:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5002:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5003:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5004:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5005:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5006:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5007:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5008:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5009:
    initial: true
    kind: dir
    feats:
      X11 -> 5013
      opt -> 5012
      sgml -> 5011
      xml -> 5010
    fen: false
    sims:
    nfens:
    nsims:
    
  5010:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5011:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5012:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5013:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5014:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5015:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5016:
    initial: true
    kind: dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5017:
    initial: false
    kind: dir
    feats:
      bin -> 5016
      boot -> 5015
      dev -> 5014
      etc -> 5009
      home -> 5008
      lib -> 5007
      media -> 5006
      mnt -> 5005
      opt -> 5004
      proc -> 5003
      root -> 5002
      run -> 5000
      sbin -> 4999
      srv -> 4998
      tmp -> 4997
      usr -> 4977
      var -> 4963
    fen: false
    sims:
      ~{var} 5049
      ~{var} 5049
      ~{var} 5049
    nfens:
    nsims:
    
  5018:
    initial: false
    kind: ¬dir
    feats:
    fen: false
    sims:
    nfens:
    nsims:
    
  5024:
    initial: false
    kind: dir
    feats:
      kod -> 5018
    fen: false
    sims:
      ~{kod} 5025
    nfens:
    nsims:
    
  5025:
    initial: false
    kind: dir
    feats:
      kod -> X
    fen: false
    sims:
      ~{kod} 5024
    nfens:
    nsims:
    
  5027:
    initial: false
    kind: dir
    feats:
      cache -> 4976
      lib -> 5029
      lock -> 4973
      log -> 4972
      opt -> 4971
      run -> 4970
      spool -> 4966
      tmp -> 4965
      www -> 4964
    fen: false
    sims:
      ~{lib} 4963
    nfens:
    nsims:
    
  5029:
    initial: false
    kind: dir
    feats:
      misc -> 4975
      sntp -> 5025
    fen: false
    sims:
      ~{sntp} 4974
    nfens:
    nsims:
    
  5049:
    initial: false
    kind: dir
    feats:
      bin -> 5016
      boot -> 5015
      dev -> 5014
      etc -> 5009
      home -> 5008
      lib -> 5007
      media -> 5006
      mnt -> 5005
      opt -> 5004
      proc -> 5003
      root -> 5002
      run -> 5000
      sbin -> 4999
      srv -> 4998
      tmp -> 4997
      usr -> 4977
      var -> 5027
    fen: false
    sims:
      ~{var} 5017
      ~{var} 5049
      ~{var} 5049
    nfens:
    nsims:
    
  
log: |
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] rm /var/lib/sntp/kod: remove file
  [UTL] test 'remove' = 'remove': strings are equal
  [UTL] rm /var/lib/sntp/kod: target does not exist or is a directory