log

process_complete_with_cookie/__scripts__/generate_pv_agreement_confirm.py

@@ -56,12 +56,12 @@ with open(AGREEMENT_SPTHY, "w") as outfile:
 
 
 os.chdir(path)
-"""
+
 tamarin_proverif_agreement_confirm("all_trusted")
-"""
+
 for l in L1c :
 	tamarin_proverif_agreement_confirm("untrusted_"+l[0])
-"""
+
 for l in L2c :
 	tamarin_proverif_agreement_confirm("untrusted_"+l[0]+"_"+l[1]) 
 
@@ -85,4 +85,3 @@ for l in L8c :
 
 for l in L9c :
 	tamarin_proverif_agreement_confirm("untrusted_"+l[0]+"_"+l[1]+"_"+l[2]+"_"+l[3]+"_"+l[4]+"_"+l[5]+"_"+l[6]+"_"+l[7]+"_"+l[8])
-"""
\ No newline at end of file