Update unit/goto-instrument/cover_instrument.cpp

thomasspriggs · peterschrammel · web-flow · commit 5b8a0698aaa6 · 2020-03-18T14:58:00.000Z
Co-Authored-By: Peter Schrammel &lt;peterschrammel@users.noreply.github.com&gt;
diff --git a/unit/goto-instrument/cover_instrument.cpp b/unit/goto-instrument/cover_instrument.cpp
@@ -29,7 +29,7 @@ TEST_CASE("cover_intrument_end_of_function", "[core]")
   REQUIRE(newly_inserted->source_location.get_function() == "foo");
 }
 
-TEST_CASE("cover_intrument_end_of_function with custom expression", "[core]")
+TEST_CASE("cover_instrument_end_of_function with custom expression", "[core]")
 {
   // Arrange
   goto_programt goto_program{};

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ TEST_CASE("cover_intrument_end_of_function", "[core]")`
`29`	`29`	`REQUIRE(newly_inserted->source_location.get_function() == "foo");`
`30`	`30`	`}`
`31`	`31`
`32`		`-TEST_CASE("cover_intrument_end_of_function with custom expression", "[core]")`
	`32`	`+TEST_CASE("cover_instrument_end_of_function with custom expression", "[core]")`
`33`	`33`	`{`
`34`	`34`	`// Arrange`
`35`	`35`	`goto_programt goto_program{};`