(* Bug: secr should still be known in phase 20.
*)

(* channels *)
free publicnet.

private free secr.


let troyan = out(publicnet, secr).

query attacker:secr phase 20.

process ! troyan

(* EXPECTPV
RESULT not attacker_p20:secr[] is false.
0.024s (user 0.012s + system 0.012s), max rss 8472K
END *)
