From c11a4268b01b54fb93dee8ca60442998763a4bd1 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Thu, 20 Jun 2013 09:54:56 +0200
Subject: [PATCH] Misc: note in attack graphs script on how to produce
 time/memory consumption output as well (on Linux)

---
 gui/generate-attack-graphs.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gui/generate-attack-graphs.py b/gui/generate-attack-graphs.py
index 75d802f..575ee11 100755
--- a/gui/generate-attack-graphs.py
+++ b/gui/generate-attack-graphs.py
@@ -20,6 +20,12 @@
 
 """
 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.
 """
 
 #---------------------------------------------------------------------------