andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Misc: note in attack graphs script on how to produce time/memory consumption output as well (on Linux)

Browse Source
This commit is contained in:
Cas Cremers 2013-06-20 09:54:56 +02:00
parent 2004a0f4aa
commit c11a4268b0
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gui/generate-attack-graphs.py
View File

@ -20,6 +20,12 @@
""" """
Generate attacks for each claim Generate attacks for each claim
To also generate resource usage details on linux, use something like:
xargs -a protocols.txt -n 1 -I {} /usr/bin/time -v -o {}.times ./generate-attack-graphs.py {}
where 'protocols.txt' contains a protocol file per line.
""" """
#--------------------------------------------------------------------------- #---------------------------------------------------------------------------