Skip to content

Commit

Permalink
Merge pull request diffblue#1840 from NathanJPhillips/bugfix/test-name
Browse files Browse the repository at this point in the history
Fixed test name
  • Loading branch information
Thomas Kiley authored Feb 16, 2018
2 parents bb88574 + a094990 commit b0eb45e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion unit/util/parameter_indices.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@ void check_consistency(const symbolt &symbol)
REQUIRE(parameter_indices.at(parameter_ids.at(i)) == i);
}

TEST_CASE("Parmeter indices consistency", "[core][util][parameter_indices]")
TEST_CASE("Parameter indices consistency", "[core][util][parameter_indices]")
{
symbol_tablet symbol_table = load_java_class("ParameterIndicesTest", "util/");
check_consistency(
Expand Down

0 comments on commit b0eb45e

Please sign in to comment.