Add unit test of prefix_in_list

To demonstrate that the refactored version works as expected.

Author: thomasspriggs

unit/CMakeLists.txt

@@ -51,6 +51,7 @@ target_link_libraries(
         testing-utils
         ansi-c
         solvers
+        goto-cc-lib
         goto-checker
         goto-programs
         goto-instrument-lib

unit/Makefile

@@ -19,6 +19,7 @@ SRC += analyses/ai/ai.cpp \
        big-int/big-int.cpp \
        compound_block_locations.cpp \
        get_goto_model_from_c_test.cpp \
+       goto-cc/armcc_cmdline.cpp \
        goto-checker/report_util/is_property_less_than.cpp \
        goto-instrument/cover_instrument.cpp \
        goto-instrument/cover/cover_only.cpp \
@@ -162,6 +163,8 @@ testing-utils-clean:
 BMC_DEPS =../src/cbmc/c_test_input_generator$(OBJEXT) \
           ../src/cbmc/cbmc_languages$(OBJEXT) \
           ../src/cbmc/cbmc_parse_options$(OBJEXT) \
+          ../src/goto-cc/armcc_cmdline$(OBJEXT) \
+          ../src/goto-cc/goto_cc_cmdline$(OBJEXT) \
           ../src/goto-instrument/source_lines$(OBJEXT) \
           ../src/goto-instrument/cover$(OBJEXT) \
           ../src/goto-instrument/cover_basic_blocks$(OBJEXT) \

unit/goto-cc/armcc_cmdline.cpp

@@ -0,0 +1,34 @@
+/// \file
+/// Unit tests of src/goto-cc/armcc_cmdline.cpp
+/// \author Diffblue Ltd.
+
+#include <testing-utils/use_catch.h>
+
+#include <util/optional.h>
+
+#include <string>
+#include <vector>
+
+optionalt<std::string>
+prefix_in_list(const std::string &option, const std::vector<std::string> &list);
+
+static const std::vector<std::string> test_list{"spam", "eggs", "and", "ham"};
+
+TEST_CASE("prefix_in_list exact match", "[core][armcc_cmdline][prefix_in_list]")
+{
+  REQUIRE(*prefix_in_list("spam", test_list) == "spam");
+  REQUIRE(*prefix_in_list("ham", test_list) == "ham");
+}
+
+TEST_CASE(
+  "prefix_in_list match prefix",
+  "[core][armcc_cmdline][prefix_in_list]")
+{
+  REQUIRE(*prefix_in_list("sp", test_list) == "spam");
+  REQUIRE(*prefix_in_list("ha", test_list) == "ham");
+}
+
+TEST_CASE("prefix_in_list unmatched", "[core][armcc_cmdline][prefix_in_list]")
+{
+  REQUIRE_FALSE(prefix_in_list("foobar", test_list));
+}

unit/goto-cc/module_dependencies.txt

@@ -0,0 +1,3 @@
+goto-cc
+testing-utils
+util