[tracegen] filter seed report

2016-11-22 11:05:30 -08:00 · 2016-11-22 11:05:30 -08:00 · 16d0f522b0
commit 16d0f522b0
parent c65c255815
1 changed files with 2 additions and 0 deletions
--- 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,