fx

kroening · kroening · commit a4ea597b2cf6 · 2024-05-21T11:42:58.000+01:00
diff --git a/src/ebmc/neural_liveness.cpp b/src/ebmc/neural_liveness.cpp
@@ -226,8 +226,7 @@ void neural_livenesst::sample(std::function<void(trans_tracet)> trace_consumer)
       return 100; // default
   }();
 
-  const std::size_t number_of_trace_steps = [this]() -> std::size_t
-  {
+  const std::size_t number_of_trace_steps = [this]() -> std::size_t {
     if(cmdline.isset("trace-steps"))
     {
       auto trace_steps_opt =
diff --git a/src/ebmc/random_traces.cpp b/src/ebmc/random_traces.cpp
@@ -96,8 +96,7 @@ Function: random_traces
 
 int random_traces(const cmdlinet &cmdline, message_handlert &message_handler)
 {
-  const auto number_of_traces = [&cmdline]() -> std::size_t
-  {
+  const auto number_of_traces = [&cmdline]() -> std::size_t {
     if(cmdline.isset("traces"))
     {
       auto number_of_traces_opt =

Original file line number	Diff line number	Diff line change
`@@ -226,8 +226,7 @@ void neural_livenesst::sample(std::function<void(trans_tracet)> trace_consumer)`
`226`	`226`	`return 100; // default`
`227`	`227`	`}();`
`228`	`228`
`229`		`- const std::size_t number_of_trace_steps = [this]() -> std::size_t`
`230`		`- {`
	`229`	`+ const std::size_t number_of_trace_steps = [this]() -> std::size_t {`
`231`	`230`	`if(cmdline.isset("trace-steps"))`
`232`	`231`	`{`
`233`	`232`	`auto trace_steps_opt =`
Original file line number	Diff line number	Diff line change
`@@ -96,8 +96,7 @@ Function: random_traces`
`96`	`96`
`97`	`97`	`int random_traces(const cmdlinet &cmdline, message_handlert &message_handler)`
`98`	`98`	`{`
`99`		`- const auto number_of_traces = [&cmdline]() -> std::size_t`
`100`		`- {`
	`99`	`+ const auto number_of_traces = [&cmdline]() -> std::size_t {`
`101`	`100`	`if(cmdline.isset("traces"))`
`102`	`101`	`{`
`103`	`102`	`auto number_of_traces_opt =`