116 | | e5 := {type = DNSREPLY, origin = att, destination = vc, content = {auth(domain(n)) = fakeAuth}} |
117 | | |
118 | | s1 := {vc.records += (auth(domain(n)) = fakeAuth)} |
119 | | |
120 | | e6 := {type = DNSREPLY, origin = att, destination = vc, content = {n=fIP}} |
121 | | |
122 | | s2 := {vc.records += (n=fIP)} |
| 116 | e5 := cp.e1, e5 := {type = DNSREPLY, origin = att, destination = vc, content = {auth(domain(n)) = fakeAuth}} |
| 117 | |
| 118 | s1 := cp.s1, s1 := {vc.records += (auth(domain(n)) = fakeAuth)} |
| 119 | |
| 120 | e6 := cp.e1, e6 := {type = DNSREPLY, origin = att, destination = vc, content = {n=fIP}} |
| 121 | |
| 122 | s2 := cp.s1, s1 := {vc.records += (n=fIP)} |