From 4a9152d0e1af415b7890b9a501b989b6472dbac8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 24 Aug 2012 11:14:40 -0700
Subject: [PATCH] Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications).
---
src/base/abci/abc.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 0dcce40..78bad60 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -17156,7 +17156,7 @@ int Abc_CommandSim( Abc_Frame_t * pAbc, int argc, char ** argv )
nFrames = 32;
nWords = 8;
TimeOut = 30;
- fMiter = 0;
+ fMiter = 1;
fVerbose = 0;
pFileSim = NULL;
Extra_UtilGetoptReset();
--
libgit2 0.26.0