From b5b1816101efd22c612b96b3e85e2992e4b11266 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 6 Oct 2015 11:35:23 +0200
Subject: Better "steps" default in smt2-bmc/sync.py

---
 scripts/smt2-bmc/sync.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/smt2-bmc/sync.py b/scripts/smt2-bmc/sync.py
index 23cadc6..e73ee99 100644
--- a/scripts/smt2-bmc/sync.py
+++ b/scripts/smt2-bmc/sync.py
@@ -3,7 +3,7 @@
 import os, sys, getopt
 from smtio import smtio, smtopts
 
-steps = 20
+steps = 14
 words = 0
 allmem = False
 so = smtopts()
-- 
cgit