From 0971429b560de650a04b0d6f93dc2e5e0c593579 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Fri, 18 Aug 2023 12:42:13 +0800 Subject: [PATCH 1/2] Refactor(Typo):rec_add2 is no longer exist --- src/base/abci/abc.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 0ff8a6f34..63b47b5ce 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -17814,7 +17814,7 @@ int Abc_CommandRecPs3( Abc_Frame_t * pAbc, int argc, char ** argv ) } if ( !Abc_NtkRecIsRunning3() ) { - Abc_Print( -1, "This command works for AIGs only after calling \"rec_start2\".\n" ); + Abc_Print( -1, "This command works for AIGs only after calling \"rec_start3\".\n" ); return 0; } Abc_NtkRecPs3(fPrintLib); @@ -17866,7 +17866,7 @@ int Abc_CommandRecAdd3( Abc_Frame_t * pAbc, int argc, char ** argv ) } if ( !Abc_NtkRecIsRunning3() ) { - Abc_Print( -1, "This command works for AIGs after calling \"rec_start2\".\n" ); + Abc_Print( -1, "This command works for AIGs after calling \"rec_start3\".\n" ); return 0; } Abc_NtkRecAdd3( pNtk, fUseSOPB ); From b8f5708ec1c604687dcc8ceb67675e2af6d2a035 Mon Sep 17 00:00:00 2001 From: wjrforcyber Date: Tue, 29 Aug 2023 10:46:57 +0800 Subject: [PATCH 2/2] Refactor(Typo):Expends->Expands --- src/base/abci/abcTiming.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 1341630bd..762156520 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -652,7 +652,7 @@ void Abc_NtkTimePrint( Abc_Ntk_t * pNtk ) /**Function************************************************************* - Synopsis [Expends the storage for timing information.] + Synopsis [Expands the storage for timing information.] Description []