From 16d0f522b00a2fec0a510dfa790008fc07038857 Mon Sep 17 00:00:00 2001 From: Henry Cook Date: Tue, 22 Nov 2016 11:05:30 -0800 Subject: [PATCH] [tracegen] filter seed report --- scripts/tracegen.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/tracegen.py b/scripts/tracegen.py index bc214e6c..10c3d1bb 100755 --- a/scripts/tracegen.py +++ b/scripts/tracegen.py @@ -52,6 +52,8 @@ def main(): numFinished = numFinished + 1 if numFinished == total: break + elif line[0:12] == "using random": + continue else: print line,