From 26567123a74d97c95d060c4f17a548cfd2eefde4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 15 May 2026 17:47:46 -0700 Subject: [PATCH] Fix warnings. --- src/base/abci/abc.c | 8 ++++---- src/opt/eslim/relationSynthesiser.cpp | 6 +++--- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 1167511d5..d706487ec 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -51736,12 +51736,12 @@ int Abc_CommandAbc9SProve( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &sprove [-PTUW num] [-C str] [-R file] [-usvwh]\n" ); - Abc_Print( -2, "\t proves CEC problem by case-splitting\n" ); + Abc_Print( -2, "\t concurrent sequential model checker\n" ); Abc_Print( -2, "\t-P num : the number of concurrent processes (1 <= num <= 6) [default = %d]\n", nProcs ); - Abc_Print( -2, "\t-T num : runtime limit in seconds per subproblem [default = %d]\n", nTimeOut ); - Abc_Print( -2, "\t-U num : second-stage timeout in seconds [default = %d]\n", nTimeOut2 ); + Abc_Print( -2, "\t-T num : first-stage timeout for proving original and scnew reduction [default = %d]\n", nTimeOut ); + Abc_Print( -2, "\t-U num : second-stage proving timeout on optimized miter [default = %d]\n", nTimeOut2 ); + Abc_Print( -2, "\t-W num : late-stage timeout for optimization and final proving [default = %d]\n", nTimeOut3 ); Abc_Print( -2, "\t-C str : with -u, pass this option string to internal %%ufar\n" ); - Abc_Print( -2, "\t-W num : runtime limit in seconds per subproblem [default = %d]\n", nTimeOut3 ); Abc_Print( -2, "\t-R str : dump replay/trace file for later execution by &sprove2\n" ); Abc_Print( -2, "\t-u : enable concurrent UFAR on word-level design (uses internal %%blast + &miter -x)\n" ); Abc_Print( -2, "\t-s : enable silent computation (no reporting) [default = %s]\n", fSilent? "yes": "no" ); diff --git a/src/opt/eslim/relationSynthesiser.cpp b/src/opt/eslim/relationSynthesiser.cpp index 6e639fc04..70a488d83 100644 --- a/src/opt/eslim/relationSynthesiser.cpp +++ b/src/opt/eslim/relationSynthesiser.cpp @@ -27,8 +27,8 @@ ABC_NAMESPACE_IMPL_START namespace eSLIM { RelationSynthesiser::RelationSynthesiser(const Relation& relation, const Subcircuit& subcir, unsigned int max_size, const eSLIMConfig& cfg, eSLIMLog& log) - : relation(relation), subcir(subcir), - max_size(max_size), config(cfg), log(log) { + : subcir(subcir), max_size(max_size), + relation(relation), config(cfg), log(log) { setupEncoding(); } @@ -609,4 +609,4 @@ namespace eSLIM { } -ABC_NAMESPACE_IMPL_END \ No newline at end of file +ABC_NAMESPACE_IMPL_END