File tree 2 files changed +4
-5
lines changed
2 files changed +4
-5
lines changed Original file line number Diff line number Diff line change @@ -967,7 +967,8 @@ General Information)").c_str(),
967
967
m_options.optimizer .enabled = (m_args.count (g_strOptimize) > 0 );
968
968
m_options.optimizer .noOptimizeYul = (m_args.count (g_strNoOptimizeYul) > 0 );
969
969
970
- m_options.optimizer .expectedExecutionsPerDeployment = m_args.at (g_strOptimizeRuns).as <unsigned >();
970
+ if (!m_args[g_strOptimizeRuns].defaulted ())
971
+ m_options.optimizer .expectedExecutionsPerDeployment = m_args.at (g_strOptimizeRuns).as <unsigned >();
971
972
972
973
if (m_args.count (g_strYulOptimizations))
973
974
{
@@ -1132,7 +1133,8 @@ General Information)").c_str(),
1132
1133
m_args.count (g_strModelCheckerTargets) ||
1133
1134
m_args.count (g_strModelCheckerTimeout);
1134
1135
m_options.output .experimentalViaIR = (m_args.count (g_strExperimentalViaIR) > 0 );
1135
- m_options.optimizer .expectedExecutionsPerDeployment = m_args[g_strOptimizeRuns].as <unsigned >();
1136
+ if (!m_args[g_strOptimizeRuns].defaulted ())
1137
+ m_options.optimizer .expectedExecutionsPerDeployment = m_args.at (g_strOptimizeRuns).as <unsigned >();
1136
1138
1137
1139
m_options.optimizer .enabled = (m_args.count (g_strOptimize) > 0 );
1138
1140
m_options.optimizer .noOptimizeYul = (m_args.count (g_strNoOptimizeYul) > 0 );
Original file line number Diff line number Diff line change @@ -78,7 +78,6 @@ BOOST_AUTO_TEST_CASE(no_options)
78
78
79
79
CommandLineOptions expectedOptions;
80
80
expectedOptions.input .paths = {" contract.sol" };
81
- expectedOptions.optimizer .expectedExecutionsPerDeployment = 200 ;
82
81
expectedOptions.modelChecker .initialize = true ;
83
82
expectedOptions.modelChecker .settings = {
84
83
ModelCheckerContracts::Default (),
@@ -334,8 +333,6 @@ BOOST_AUTO_TEST_CASE(assembly_mode_options)
334
333
expectedOptions.optimizer .yulSteps = " agf" ;
335
334
expectedOptions.optimizer .expectedExecutionsPerDeployment = 1000 ;
336
335
}
337
- else
338
- expectedOptions.optimizer .expectedExecutionsPerDeployment = OptimiserSettings{}.expectedExecutionsPerDeployment ;
339
336
340
337
stringstream sout, serr;
341
338
optional<CommandLineOptions> parsedOptions = parseCommandLine (commandLine, sout, serr);
You can’t perform that action at this time.
0 commit comments