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 \
@@ -190,6 +191,7 @@ CPROVER_LIBS =../src/ansi-c/ansi-c$(LIBEXT) \
               ../src/linking/linking$(LIBEXT) \
               ../src/util/util$(LIBEXT) \
               ../src/big-int/big-int$(LIBEXT) \
+              ../src/goto-cc/goto-cc$(LIBEXT) \
               ../src/goto-checker/goto-checker$(LIBEXT) \
               ../src/goto-programs/goto-programs$(LIBEXT) \
               ../src/pointer-analysis/pointer-analysis$(LIBEXT) \

unit/goto-cc/armcc_cmdline.cpp

@@ -0,0 +1,32 @@
+// Copyright 2020 Diffblue Limited. All Rights Reserved.
+
+#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));
+}