Use set_initial_value in format unit test

thomasspriggs · thomasspriggs · commit 541cd8a1cd08 · 2021-02-17T18:19:50.000Z
To avoid directly setting the operands.
diff --git a/unit/util/format.cpp b/unit/util/format.cpp
@@ -17,6 +17,6 @@ TEST_CASE("Format a declaration statement.", "[core][util][format]")
   const signedbv_typet int_type{32};
   code_declt declaration{symbol_exprt{"foo", int_type}};
   REQUIRE(format_to_string(declaration) == "decl signedbv[32] foo;");
-  declaration.add_to_operands(int_type.zero_expr());
+  declaration.set_initial_value({int_type.zero_expr()});
   REQUIRE(format_to_string(declaration) == "decl signedbv[32] foo = 0;");
 }

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,6 @@ TEST_CASE("Format a declaration statement.", "[core][util][format]")`
`17`	`17`	`const signedbv_typet int_type{32};`
`18`	`18`	`code_declt declaration{symbol_exprt{"foo", int_type}};`
`19`	`19`	`REQUIRE(format_to_string(declaration) == "decl signedbv[32] foo;");`
`20`		`- declaration.add_to_operands(int_type.zero_expr());`
	`20`	`+ declaration.set_initial_value({int_type.zero_expr()});`
`21`	`21`	`REQUIRE(format_to_string(declaration) == "decl signedbv[32] foo = 0;");`
`22`	`22`	`}`