summaryrefslogtreecommitdiff
path: root/Test/secure
ModeNameSize
-rw-r--r--MultiParty.bpl4991logplain
-rw-r--r--ObliviousTransfer.bpl1883logplain
-rw-r--r--simple.bpl1301logplain