From b5b1816101efd22c612b96b3e85e2992e4b11266 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 Oct 2015 11:35:23 +0200 Subject: [PATCH] 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()