From 2179034f232aff75f9596ce0c01e39d527a8e45e Mon Sep 17 00:00:00 2001 From: jiunhaochen Date: Thu, 10 Apr 2025 17:24:27 +0800 Subject: [PATCH] command rewire fix condition --- 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 602c6846b..83e5d2231 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20927,7 +20927,7 @@ int Abc_CommandRewire( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Empty network.\n" ); return 1; } - if ( !Abc_NtkIsStrash(pNtk) ) + if ( nMode == 0 && !Abc_NtkIsStrash(pNtk) ) { Abc_Print( -1, "Rewiring works only for the AIG representation (run \"strash\").\n" ); return 1;