test/main.cpp => LibVintfTest.cpp

Test: builds
Change-Id: I842e4fe996d49d125c7edc34aa2f238f0797eada
diff --git a/test/LibVintfTest.cpp b/test/LibVintfTest.cpp
new file mode 100644
index 0000000..b33d0bc
--- /dev/null
+++ b/test/LibVintfTest.cpp
@@ -0,0 +1,2241 @@
+/*
+ * Copyright (C) 2017 The Android Open Source Project
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#define LOG_TAG "LibVintfTest"
+
+#include <algorithm>
+#include <functional>
+
+#include <vintf/CompatibilityMatrix.h>
+#include <vintf/KernelConfigParser.h>
+#include <vintf/VintfObject.h>
+#include <vintf/parse_string.h>
+#include <vintf/parse_xml.h>
+
+#include <android-base/logging.h>
+#include <android-base/parseint.h>
+#include <gtest/gtest.h>
+
+namespace android {
+namespace vintf {
+
+extern const XmlConverter<Version> &gVersionConverter;
+extern const XmlConverter<ManifestHal> &gManifestHalConverter;
+extern const XmlConverter<MatrixHal> &gMatrixHalConverter;
+extern const XmlConverter<KernelConfigTypedValue> &gKernelConfigTypedValueConverter;
+extern const XmlConverter<HalManifest> &gHalManifestConverter;
+extern const XmlConverter<CompatibilityMatrix> &gCompatibilityMatrixConverter;
+
+#ifdef LIBVINTF_HOST
+static bool Contains(const std::string& str, const std::string& sub) {
+    return str.find(sub) != std::string::npos;
+}
+#define EXPECT_CONTAINS(str, sub) \
+    EXPECT_TRUE(Contains((str), (sub))) << "Cannot find \"" << (sub) << "\" in \"" << (str) << "\""
+#endif
+
+struct LibVintfTest : public ::testing::Test {
+public:
+    virtual void SetUp() override {
+    }
+    virtual void TearDown() override {
+    }
+    bool add(CompatibilityMatrix &cm, MatrixHal &&hal) {
+        return cm.add(std::move(hal));
+    }
+    bool add(CompatibilityMatrix &cm, MatrixKernel &&kernel) {
+        return cm.add(std::move(kernel));
+    }
+    bool add(HalManifest &vm, ManifestHal &&hal) {
+        return vm.add(std::move(hal));
+    }
+    void addXmlFile(CompatibilityMatrix& cm, std::string name, VersionRange range) {
+        MatrixXmlFile f;
+        f.mName = name;
+        f.mVersionRange = range;
+        f.mFormat = XmlSchemaFormat::DTD;
+        f.mOptional = true;
+        cm.addXmlFile(std::move(f));
+    }
+    void set(CompatibilityMatrix &cm, Sepolicy &&sepolicy) {
+        cm.framework.mSepolicy = sepolicy;
+    }
+    void set(CompatibilityMatrix &cm, SchemaType type) {
+        cm.mType = type;
+    }
+    void set(CompatibilityMatrix &cm, VndkVersionRange &&range, std::set<std::string> &&libs) {
+        cm.device.mVndk.mVersionRange = range;
+        cm.device.mVndk.mLibraries = libs;
+    }
+    void setAvb(RuntimeInfo &ki, Version vbmeta, Version boot) {
+        ki.mBootVbmetaAvbVersion = vbmeta;
+        ki.mBootAvbVersion = boot;
+    }
+    void setAvb(CompatibilityMatrix &cm, Version &&avbVersion) {
+        cm.framework.mAvbMetaVersion = avbVersion;
+    }
+    Version getAvb(CompatibilityMatrix &cm) {
+        return cm.framework.mAvbMetaVersion;
+    }
+    const ManifestHal *getAnyHal(HalManifest &vm, const std::string &name) {
+        return vm.getAnyHal(name);
+    }
+    MatrixHal *getAnyHal(CompatibilityMatrix &cm, const std::string &name) {
+        return cm.getAnyHal(name);
+    }
+    ConstMultiMapValueIterable<std::string, ManifestHal> getHals(HalManifest &vm) {
+        return vm.getHals();
+    }
+    bool isValid(const ManifestHal &mh) {
+        return mh.isValid();
+    }
+    std::vector<MatrixKernel>& getKernels(CompatibilityMatrix& cm) { return cm.framework.mKernels; }
+    bool addAllHalsAsOptional(CompatibilityMatrix* cm1, CompatibilityMatrix* cm2, std::string* e) {
+        return cm1->addAllHalsAsOptional(cm2, e);
+    }
+
+    std::map<std::string, HalInterface> testHalInterfaces() {
+        HalInterface intf;
+        intf.name = "IFoo";
+        intf.instances.insert("default");
+        std::map<std::string, HalInterface> map;
+        map[intf.name] = intf;
+        return map;
+    }
+
+    HalManifest testDeviceManifest() {
+        HalManifest vm;
+        vm.mType = SchemaType::DEVICE;
+        vm.device.mSepolicyVersion = {25, 0};
+        vm.add(ManifestHal{
+            .format = HalFormat::HIDL,
+            .name = "android.hardware.camera",
+            .versions = {Version(2, 0)},
+            .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+            .interfaces = {
+                {"ICamera", {"ICamera", {"legacy/0", "default"}}},
+                {"IBetterCamera", {"IBetterCamera", {"camera"}}}
+            }
+        });
+        vm.add(ManifestHal{
+            .format = HalFormat::HIDL,
+            .name = "android.hardware.nfc",
+            .versions = {Version(1, 0)},
+            .transportArch = {Transport::PASSTHROUGH, Arch::ARCH_32_64},
+            .interfaces = {
+                {"INfc", {"INfc", {"default"}}}
+            }
+        });
+
+        return vm;
+    }
+    HalManifest testDeviceManifestWithXmlFile() {
+        HalManifest vm = testDeviceManifest();
+        ManifestXmlFile xmlFile;
+        xmlFile.mName = "media_profile";
+        xmlFile.mVersion = {1, 0};
+        vm.addXmlFile(std::move(xmlFile));
+        return vm;
+    }
+    HalManifest testFrameworkManfiest() {
+        HalManifest vm;
+        vm.mType = SchemaType::FRAMEWORK;
+        vm.add(ManifestHal{
+            .format = HalFormat::HIDL,
+            .name = "android.hidl.manager",
+            .versions = {Version(1, 0)},
+            .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+            .interfaces = {
+                {"IServiceManager", {"IServiceManager", {"default"}}},
+            }
+        });
+        Vndk vndk2505;
+        vndk2505.mVersionRange = {25, 0, 5};
+        vndk2505.mLibraries = { "libjpeg.so", "libbase.so" };
+        Vndk vndk2513;
+        vndk2513.mVersionRange = {25, 1, 3};
+        vndk2513.mLibraries = { "libjpeg.so", "libbase.so", "libtinyxml2.so" };
+        vm.framework.mVndks = { std::move(vndk2505), std::move(vndk2513) };
+
+        return vm;
+    }
+    RuntimeInfo testRuntimeInfo() {
+        RuntimeInfo info;
+        info.mOsName = "Linux";
+        info.mNodeName = "localhost";
+        info.mOsRelease = "3.18.31-g936f9a479d0f";
+        info.mKernelVersion = {3, 18, 31};
+        info.mOsVersion = "#4 SMP PREEMPT Wed Feb 1 18:10:52 PST 2017";
+        info.mHardwareId = "aarch64";
+        info.mKernelSepolicyVersion = 30;
+        info.mKernelConfigs = {
+            {"CONFIG_64BIT", "y"},
+            {"CONFIG_ANDROID_BINDER_DEVICES", "\"binder,hwbinder\""},
+            {"CONFIG_ARCH_MMAP_RND_BITS", "24"},
+            {"CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE_NAMES", "\"\""},
+            {"CONFIG_ILLEGAL_POINTER_VALUE", "0xdead000000000000"}
+        };
+        setAvb(info, {2, 1}, {2, 1});
+        return info;
+    }
+};
+
+TEST_F(LibVintfTest, ArchOperatorOr) {
+    Arch a = Arch::ARCH_EMPTY;
+    a |= Arch::ARCH_32;
+    EXPECT_EQ(Arch::ARCH_32, a);
+
+    a |= Arch::ARCH_64;
+    EXPECT_EQ(Arch::ARCH_32_64, a);
+
+    a = Arch::ARCH_EMPTY;
+    a |= Arch::ARCH_64;
+    EXPECT_EQ(Arch::ARCH_64, a);
+}
+
+TEST_F(LibVintfTest, Stringify) {
+    HalManifest vm = testDeviceManifest();
+    EXPECT_EQ(dump(vm), "hidl/android.hardware.camera/hwbinder/2.0:"
+                        "hidl/android.hardware.nfc/passthrough32+64/1.0");
+
+    EXPECT_EQ(to_string(HalFormat::HIDL), "hidl");
+    EXPECT_EQ(to_string(HalFormat::NATIVE), "native");
+
+    VersionRange v(1, 2, 3);
+    EXPECT_EQ(to_string(v), "1.2-3");
+    VersionRange v2;
+    EXPECT_TRUE(parse("1.2-3", &v2));
+    EXPECT_EQ(v, v2);
+}
+
+TEST_F(LibVintfTest, GetTransport) {
+    HalManifest vm = testDeviceManifest();
+    EXPECT_EQ(Transport::HWBINDER, vm.getTransport("android.hardware.camera",
+            {2, 0}, "ICamera", "default"));
+}
+
+TEST_F(LibVintfTest, HalManifestConverter) {
+    HalManifest vm = testDeviceManifest();
+    std::string xml = gHalManifestConverter(vm);
+    EXPECT_EQ(xml,
+        "<manifest version=\"1.0\" type=\"device\">\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hardware.camera</name>\n"
+        "        <transport>hwbinder</transport>\n"
+        "        <version>2.0</version>\n"
+        "        <interface>\n"
+        "            <name>IBetterCamera</name>\n"
+        "            <instance>camera</instance>\n"
+        "        </interface>\n"
+        "        <interface>\n"
+        "            <name>ICamera</name>\n"
+        "            <instance>default</instance>\n"
+        "            <instance>legacy/0</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hardware.nfc</name>\n"
+        "        <transport arch=\"32+64\">passthrough</transport>\n"
+        "        <version>1.0</version>\n"
+        "        <interface>\n"
+        "            <name>INfc</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <sepolicy>\n"
+        "        <version>25.0</version>\n"
+        "    </sepolicy>\n"
+        "</manifest>\n");
+    HalManifest vm2;
+    EXPECT_TRUE(gHalManifestConverter(&vm2, xml));
+    EXPECT_EQ(vm, vm2);
+}
+
+TEST_F(LibVintfTest, HalManifestConverterFramework) {
+    HalManifest vm = testFrameworkManfiest();
+    std::string xml = gHalManifestConverter(vm);
+    EXPECT_EQ(xml,
+        "<manifest version=\"1.0\" type=\"framework\">\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hidl.manager</name>\n"
+        "        <transport>hwbinder</transport>\n"
+        "        <version>1.0</version>\n"
+        "        <interface>\n"
+        "            <name>IServiceManager</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <vndk>\n"
+        "        <version>25.0.5</version>\n"
+        "        <library>libbase.so</library>\n"
+        "        <library>libjpeg.so</library>\n"
+        "    </vndk>\n"
+        "    <vndk>\n"
+        "        <version>25.1.3</version>\n"
+        "        <library>libbase.so</library>\n"
+        "        <library>libjpeg.so</library>\n"
+        "        <library>libtinyxml2.so</library>\n"
+        "    </vndk>\n"
+        "</manifest>\n");
+    HalManifest vm2;
+    EXPECT_TRUE(gHalManifestConverter(&vm2, xml));
+    EXPECT_EQ(vm, vm2);
+}
+
+TEST_F(LibVintfTest, HalManifestOptional) {
+    HalManifest vm;
+    EXPECT_TRUE(gHalManifestConverter(&vm,
+            "<manifest version=\"1.0\" type=\"device\"></manifest>"));
+    EXPECT_TRUE(gHalManifestConverter(&vm,
+            "<manifest version=\"1.0\" type=\"device\">"
+            "    <hal>"
+            "        <name>android.hidl.manager</name>"
+            "        <transport>hwbinder</transport>"
+            "        <version>1.0</version>"
+            "    </hal>"
+            "</manifest>"));
+    EXPECT_FALSE(gHalManifestConverter(&vm,
+            "<manifest version=\"1.0\" type=\"device\">"
+            "    <hal>"
+            "        <name>android.hidl.manager</name>"
+            "        <version>1.0</version>"
+            "    </hal>"
+            "</manifest>"));
+}
+
+TEST_F(LibVintfTest, HalManifestNative) {
+    HalManifest vm;
+    EXPECT_TRUE(gHalManifestConverter(&vm,
+                                      "<manifest version=\"1.0\" type=\"device\">"
+                                      "    <hal format=\"native\">"
+                                      "        <name>foo</name>"
+                                      "        <version>1.0</version>"
+                                      "    </hal>"
+                                      "</manifest>"))
+        << gHalManifestConverter.lastError();
+    EXPECT_FALSE(gHalManifestConverter(&vm,
+                                       "<manifest version=\"1.0\" type=\"device\">"
+                                       "    <hal format=\"native\">"
+                                       "        <name>foo</name>"
+                                       "        <version>1.0</version>"
+                                       "        <transport>hwbinder</transport>"
+                                       "    </hal>"
+                                       "</manifest>"));
+    EXPECT_TRUE(gHalManifestConverter.lastError().find(
+                    "Native HAL 'foo' should not have <transport> defined") != std::string::npos);
+}
+
+TEST_F(LibVintfTest, HalManifestDuplicate) {
+    HalManifest vm;
+    EXPECT_FALSE(gHalManifestConverter(&vm,
+                                       "<manifest version=\"1.0\" type=\"device\">"
+                                       "    <hal>"
+                                       "        <name>android.hidl.manager</name>"
+                                       "        <transport>hwbinder</transport>"
+                                       "        <version>1.0</version>"
+                                       "        <version>1.1</version>"
+                                       "    </hal>"
+                                       "</manifest>"))
+        << "Should not allow duplicated major version in <hal>";
+    EXPECT_FALSE(gHalManifestConverter(&vm,
+                                       "<manifest version=\"1.0\" type=\"device\">"
+                                       "    <hal>"
+                                       "        <name>android.hidl.manager</name>"
+                                       "        <transport>hwbinder</transport>"
+                                       "        <version>1.0</version>"
+                                       "    </hal>"
+                                       "    <hal>"
+                                       "        <name>android.hidl.manager</name>"
+                                       "        <transport arch=\"32+64\">passthrough</transport>"
+                                       "        <version>1.1</version>"
+                                       "    </hal>"
+                                       "</manifest>"))
+        << "Should not allow duplicated major version across <hal>";
+}
+
+TEST_F(LibVintfTest, HalManifestGetTransport) {
+    HalManifest vm;
+    EXPECT_TRUE(gHalManifestConverter(&vm,
+                                      "<manifest version=\"1.0\" type=\"device\">"
+                                      "    <hal>"
+                                      "        <name>android.hidl.manager</name>"
+                                      "        <transport>hwbinder</transport>"
+                                      "        <version>1.0</version>"
+                                      "        <interface>"
+                                      "            <name>IServiceManager</name>"
+                                      "            <instance>default</instance>"
+                                      "        </interface>"
+                                      "    </hal>"
+                                      "    <hal>"
+                                      "        <name>android.hidl.manager</name>"
+                                      "        <transport arch=\"32+64\">passthrough</transport>"
+                                      "        <version>2.1</version>"
+                                      "        <interface>"
+                                      "            <name>IServiceManager</name>"
+                                      "            <instance>default</instance>"
+                                      "        </interface>"
+                                      "    </hal>"
+                                      "</manifest>"));
+    EXPECT_EQ(Transport::PASSTHROUGH,
+              vm.getTransport("android.hidl.manager", {2, 1}, "IServiceManager", "default"));
+    EXPECT_EQ(Transport::PASSTHROUGH,
+              vm.getTransport("android.hidl.manager", {2, 0}, "IServiceManager", "default"));
+    EXPECT_EQ(Transport::EMPTY,
+              vm.getTransport("android.hidl.manager", {2, 2}, "IServiceManager", "default"));
+    EXPECT_EQ(Transport::HWBINDER,
+              vm.getTransport("android.hidl.manager", {1, 0}, "IServiceManager", "default"));
+}
+
+TEST_F(LibVintfTest, HalManifestInstances) {
+    HalManifest vm = testDeviceManifest();
+    EXPECT_EQ(vm.getInstances("android.hardware.camera", {2, 0}, "ICamera"),
+              std::set<std::string>({"default", "legacy/0"}));
+    EXPECT_EQ(vm.getInstances("android.hardware.camera", {2, 0}, "IBetterCamera"),
+              std::set<std::string>({"camera"}));
+    EXPECT_EQ(vm.getInstances("android.hardware.camera", {2, 0}, "INotExist"),
+              std::set<std::string>({}));
+    EXPECT_EQ(vm.getInstances("android.hardware.nfc", {1, 0}, "INfc"),
+              std::set<std::string>({"default"}));
+
+    EXPECT_TRUE(vm.hasInstance("android.hardware.camera", {2, 0}, "ICamera", "default"));
+    EXPECT_TRUE(vm.hasInstance("android.hardware.camera", {2, 0}, "ICamera", "legacy/0"));
+    EXPECT_TRUE(vm.hasInstance("android.hardware.camera", {2, 0}, "IBetterCamera", "camera"));
+    EXPECT_TRUE(vm.hasInstance("android.hardware.nfc", {1, 0}, "INfc", "default"));
+
+    EXPECT_FALSE(vm.hasInstance("android.hardware.camera", {2, 0}, "INotExist", "default"));
+    EXPECT_FALSE(vm.hasInstance("android.hardware.camera", {2, 0}, "ICamera", "notexist"));
+    EXPECT_FALSE(vm.hasInstance("android.hardware.camera", {2, 0}, "IBetterCamera", "default"));
+    EXPECT_FALSE(vm.hasInstance("android.hardware.camera", {2, 0}, "INotExist", "notexist"));
+    EXPECT_FALSE(vm.hasInstance("android.hardware.nfc", {1, 0}, "INfc", "notexist"));
+}
+
+TEST_F(LibVintfTest, VersionConverter) {
+    Version v(3, 6);
+    std::string xml = gVersionConverter(v);
+    EXPECT_EQ(xml, "<version>3.6</version>\n");
+    Version v2;
+    EXPECT_TRUE(gVersionConverter(&v2, xml));
+    EXPECT_EQ(v, v2);
+}
+
+static bool insert(std::map<std::string, HalInterface>* map, HalInterface&& intf) {
+    std::string name{intf.name};
+    return map->emplace(std::move(name), std::move(intf)).second;
+}
+
+TEST_F(LibVintfTest, MatrixHalConverter) {
+    MatrixHal mh{HalFormat::NATIVE, "android.hardware.camera",
+            {{VersionRange(1,2,3), VersionRange(4,5,6)}},
+            false /* optional */, {}};
+    EXPECT_TRUE(insert(&mh.interfaces, {"IBetterCamera", {"default", "great"}}));
+    EXPECT_TRUE(insert(&mh.interfaces, {"ICamera", {"default"}}));
+    std::string xml = gMatrixHalConverter(mh);
+    EXPECT_EQ(xml,
+        "<hal format=\"native\" optional=\"false\">\n"
+        "    <name>android.hardware.camera</name>\n"
+        "    <version>1.2-3</version>\n"
+        "    <version>4.5-6</version>\n"
+        "    <interface>\n"
+        "        <name>IBetterCamera</name>\n"
+        "        <instance>default</instance>\n"
+        "        <instance>great</instance>\n"
+        "    </interface>\n"
+        "    <interface>\n"
+        "        <name>ICamera</name>\n"
+        "        <instance>default</instance>\n"
+        "    </interface>\n"
+        "</hal>\n");
+    MatrixHal mh2;
+    EXPECT_TRUE(gMatrixHalConverter(&mh2, xml));
+    EXPECT_EQ(mh, mh2);
+}
+
+TEST_F(LibVintfTest, KernelConfigTypedValueConverter) {
+
+    KernelConfigTypedValue converted;
+
+    auto testOne = [] (const KernelConfigTypedValue &original,
+                    const std::string &expectXml) {
+        std::string xml;
+        KernelConfigTypedValue converted;
+        xml = gKernelConfigTypedValueConverter(original);
+        EXPECT_EQ(xml, expectXml);
+        EXPECT_TRUE(gKernelConfigTypedValueConverter(&converted, xml));
+        EXPECT_EQ(original, converted);
+    };
+
+    auto testParse = [] (const KernelConfigTypedValue &original,
+                    const std::string &xml) {
+        KernelConfigTypedValue converted;
+        EXPECT_TRUE(gKernelConfigTypedValueConverter(&converted, xml));
+        EXPECT_EQ(original, converted);
+    };
+
+    testOne(KernelConfigTypedValue("stringvalue"),
+        "<value type=\"string\">stringvalue</value>\n");
+    testOne(KernelConfigTypedValue(""),
+        "<value type=\"string\"></value>\n");
+
+    testOne(KernelConfigTypedValue(Tristate::YES),
+        "<value type=\"tristate\">y</value>\n");
+    testOne(KernelConfigTypedValue(Tristate::NO),
+        "<value type=\"tristate\">n</value>\n");
+    testOne(KernelConfigTypedValue(Tristate::MODULE),
+        "<value type=\"tristate\">m</value>\n");
+    EXPECT_FALSE(gKernelConfigTypedValueConverter(&converted,
+        "<value type=\"tristate\">q</value>\n"));
+
+    testOne(KernelConfigTypedValue(KernelConfigRangeValue{4, 20}),
+        "<value type=\"range\">4-20</value>\n");
+    testOne(KernelConfigTypedValue(KernelConfigRangeValue{0, UINT64_MAX}),
+        "<value type=\"range\">0-18446744073709551615</value>\n");
+    testParse(KernelConfigTypedValue(KernelConfigRangeValue{0, UINT64_MAX}),
+            "<value type=\"range\">0x0-0xffffffffffffffff</value>\n");
+
+    EXPECT_FALSE(gKernelConfigTypedValueConverter(&converted,
+            "<value type=\"int\">-18446744073709551616</value>\n"));
+
+    testOne(KernelConfigTypedValue(INT64_MIN),
+         "<value type=\"int\">-9223372036854775808</value>\n");
+    testParse(KernelConfigTypedValue(INT64_MIN),
+            "<value type=\"int\">0x8000000000000000</value>\n");
+    testParse(KernelConfigTypedValue(INT64_MIN),
+            "<value type=\"int\">-0X8000000000000000</value>\n");
+
+    testParse(KernelConfigTypedValue(INT64_MIN + 1),
+            "<value type=\"int\">-0X7FFFFFFFFFFFFFFF</value>\n");
+
+    testParse(KernelConfigTypedValue(-0x50),
+            "<value type=\"int\">-0x50</value>\n");
+
+    testOne(KernelConfigTypedValue(0),
+         "<value type=\"int\">0</value>\n");
+
+    // Truncation for underflow.
+    testParse(KernelConfigTypedValue(1),
+            "<value type=\"int\">-0xffffffffffffffff</value>\n");
+    testParse(KernelConfigTypedValue(1),
+            "<value type=\"int\">-18446744073709551615</value>\n");
+
+    testOne(KernelConfigTypedValue(INT64_MAX),
+         "<value type=\"int\">9223372036854775807</value>\n");
+    testParse(KernelConfigTypedValue(INT64_MAX),
+            "<value type=\"int\">0x7FFFFFFFFFFFFFFF</value>\n");
+    // Truncation for underflow.
+    testParse(KernelConfigTypedValue(INT64_MAX),
+            "<value type=\"int\">-9223372036854775809</value>\n");
+
+    testParse(KernelConfigTypedValue(-1),
+            "<value type=\"int\">18446744073709551615</value>\n");
+    testParse(KernelConfigTypedValue(-1),
+            "<value type=\"int\">0xffffffffffffffff</value>\n");
+
+    EXPECT_FALSE(gKernelConfigTypedValueConverter(&converted,
+            "<value type=\"int\">18446744073709551616</value>\n"));
+}
+
+TEST_F(LibVintfTest, CompatibilityMatrixConverter) {
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(add(cm, MatrixHal{HalFormat::NATIVE, "android.hardware.camera",
+            {{VersionRange(1,2,3), VersionRange(4,5,6)}},
+            false /* optional */, testHalInterfaces()}));
+    EXPECT_TRUE(add(cm, MatrixHal{HalFormat::NATIVE, "android.hardware.nfc",
+            {{VersionRange(4,5,6), VersionRange(10,11,12)}},
+            true /* optional */, testHalInterfaces()}));
+    EXPECT_TRUE(add(cm, MatrixKernel{KernelVersion(3, 18, 22),
+            {KernelConfig{"CONFIG_FOO", Tristate::YES}, KernelConfig{"CONFIG_BAR", "stringvalue"}}}));
+    EXPECT_TRUE(add(cm, MatrixKernel{KernelVersion(4, 4, 1),
+            {KernelConfig{"CONFIG_BAZ", 20}, KernelConfig{"CONFIG_BAR", KernelConfigRangeValue{3, 5} }}}));
+    set(cm, Sepolicy(30, {{25, 0}, {26, 0, 3}}));
+    setAvb(cm, Version{2, 1});
+    std::string xml = gCompatibilityMatrixConverter(cm);
+    EXPECT_EQ(xml,
+            "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+            "    <hal format=\"native\" optional=\"false\">\n"
+            "        <name>android.hardware.camera</name>\n"
+            "        <version>1.2-3</version>\n"
+            "        <version>4.5-6</version>\n"
+            "        <interface>\n"
+            "            <name>IFoo</name>\n"
+            "            <instance>default</instance>\n"
+            "        </interface>\n"
+            "    </hal>\n"
+            "    <hal format=\"native\" optional=\"true\">\n"
+            "        <name>android.hardware.nfc</name>\n"
+            "        <version>4.5-6</version>\n"
+            "        <version>10.11-12</version>\n"
+            "        <interface>\n"
+            "            <name>IFoo</name>\n"
+            "            <instance>default</instance>\n"
+            "        </interface>\n"
+            "    </hal>\n"
+            "    <kernel version=\"3.18.22\">\n"
+            "        <config>\n"
+            "            <key>CONFIG_FOO</key>\n"
+            "            <value type=\"tristate\">y</value>\n"
+            "        </config>\n"
+            "        <config>\n"
+            "            <key>CONFIG_BAR</key>\n"
+            "            <value type=\"string\">stringvalue</value>\n"
+            "        </config>\n"
+            "    </kernel>\n"
+            "    <kernel version=\"4.4.1\">\n"
+            "        <config>\n"
+            "            <key>CONFIG_BAZ</key>\n"
+            "            <value type=\"int\">20</value>\n"
+            "        </config>\n"
+            "        <config>\n"
+            "            <key>CONFIG_BAR</key>\n"
+            "            <value type=\"range\">3-5</value>\n"
+            "        </config>\n"
+            "    </kernel>\n"
+            "    <sepolicy>\n"
+            "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+            "        <sepolicy-version>25.0</sepolicy-version>\n"
+            "        <sepolicy-version>26.0-3</sepolicy-version>\n"
+            "    </sepolicy>\n"
+            "    <avb>\n"
+            "        <vbmeta-version>2.1</vbmeta-version>\n"
+            "    </avb>\n"
+            "</compatibility-matrix>\n");
+    CompatibilityMatrix cm2;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml));
+    EXPECT_EQ(cm, cm2);
+}
+
+TEST_F(LibVintfTest, DeviceCompatibilityMatrixCoverter) {
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(add(cm, MatrixHal{HalFormat::NATIVE, "android.hidl.manager",
+            {{VersionRange(1,0)}},
+            false /* optional */, testHalInterfaces()}));
+    set(cm, SchemaType::DEVICE);
+    set(cm, VndkVersionRange{25,0,1,5}, {"libjpeg.so", "libbase.so"});
+    std::string xml = gCompatibilityMatrixConverter(cm);
+    EXPECT_EQ(xml,
+        "<compatibility-matrix version=\"1.0\" type=\"device\">\n"
+        "    <hal format=\"native\" optional=\"false\">\n"
+        "        <name>android.hidl.manager</name>\n"
+        "        <version>1.0</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <vndk>\n"
+        "        <version>25.0.1-5</version>\n"
+        "        <library>libbase.so</library>\n"
+        "        <library>libjpeg.so</library>\n"
+        "    </vndk>\n"
+        "</compatibility-matrix>\n");
+    CompatibilityMatrix cm2;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml));
+    EXPECT_EQ(cm, cm2);
+}
+
+TEST_F(LibVintfTest, IsValid) {
+    EXPECT_TRUE(isValid(ManifestHal()));
+
+    ManifestHal invalidHal{
+        .format = HalFormat::HIDL,
+        .name = "android.hardware.camera",
+        .versions = {{Version(2, 0), Version(2, 1)}},
+        .transportArch = {Transport::PASSTHROUGH, Arch::ARCH_32_64}
+    };
+
+    EXPECT_FALSE(isValid(invalidHal));
+    HalManifest vm2;
+    EXPECT_FALSE(add(vm2, std::move(invalidHal)));
+}
+
+TEST_F(LibVintfTest, HalManifestGetHalNames) {
+    HalManifest vm = testDeviceManifest();
+    EXPECT_EQ(vm.getHalNames(), std::set<std::string>(
+                  {"android.hardware.camera", "android.hardware.nfc"}));
+}
+
+TEST_F(LibVintfTest, HalManifestGetAllHals) {
+    HalManifest vm = testDeviceManifest();
+    EXPECT_NE(getAnyHal(vm, "android.hardware.camera"), nullptr);
+    EXPECT_EQ(getAnyHal(vm, "non-existent"), nullptr);
+
+    std::vector<std::string> arr{"android.hardware.camera", "android.hardware.nfc"};
+    size_t i = 0;
+    for (const auto &hal : getHals(vm)) {
+        EXPECT_EQ(hal.name, arr[i++]);
+    }
+}
+
+TEST_F(LibVintfTest, HalManifestGetHals) {
+    HalManifest vm;
+    EXPECT_TRUE(
+        add(vm, ManifestHal{.format = HalFormat::HIDL,
+                            .name = "android.hardware.camera",
+                            .versions = {Version(1, 2)},
+                            .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+                            .interfaces = {{"ICamera", {"ICamera", {"legacy/0", "default"}}},
+                                           {"IBetterCamera", {"IBetterCamera", {"camera"}}}}}));
+    EXPECT_TRUE(
+        add(vm, ManifestHal{.format = HalFormat::HIDL,
+                            .name = "android.hardware.camera",
+                            .versions = {Version(2, 0)},
+                            .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+                            .interfaces = {{"ICamera", {"ICamera", {"legacy/0", "default"}}},
+                                           {"IBetterCamera", {"IBetterCamera", {"camera"}}}}}));
+    EXPECT_TRUE(add(vm, ManifestHal{.format = HalFormat::HIDL,
+                                    .name = "android.hardware.nfc",
+                                    .versions = {Version(1, 0), Version(2, 1)},
+                                    .transportArch = {Transport::PASSTHROUGH, Arch::ARCH_32_64},
+                                    .interfaces = {{"INfc", {"INfc", {"default"}}}}}));
+    ManifestHal expectedCameraHalV1_2 =
+        ManifestHal{.format = HalFormat::HIDL,
+                    .name = "android.hardware.camera",
+                    .versions = {Version(1, 2)},
+                    .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+                    .interfaces = {{"ICamera", {"ICamera", {"legacy/0", "default"}}},
+                                   {"IBetterCamera", {"IBetterCamera", {"camera"}}}}};
+    ManifestHal expectedCameraHalV2_0 =
+        ManifestHal{.format = HalFormat::HIDL,
+                    .name = "android.hardware.camera",
+                    .versions = {Version(2, 0)},
+                    .transportArch = {Transport::HWBINDER, Arch::ARCH_EMPTY},
+                    .interfaces = {{"ICamera", {"ICamera", {"legacy/0", "default"}}},
+                                   {"IBetterCamera", {"IBetterCamera", {"camera"}}}}};
+    ManifestHal expectedNfcHal =
+        ManifestHal{.format = HalFormat::HIDL,
+                    .name = "android.hardware.nfc",
+                    .versions = {Version(1, 0), Version(2, 1)},
+                    .transportArch = {Transport::PASSTHROUGH, Arch::ARCH_32_64},
+                    .interfaces = {{"INfc", {"INfc", {"default"}}}}};
+    auto cameraHals = vm.getHals("android.hardware.camera");
+    EXPECT_EQ((int)cameraHals.size(), 2);
+    EXPECT_EQ(*cameraHals[0], expectedCameraHalV1_2);
+    EXPECT_EQ(*cameraHals[1], expectedCameraHalV2_0);
+    auto nfcHals = vm.getHals("android.hardware.nfc");
+    EXPECT_EQ((int)nfcHals.size(), 1);
+    EXPECT_EQ(*nfcHals[0], expectedNfcHal);
+
+    EXPECT_EQ(*vm.getHal("android.hardware.camera", {1, 1}), expectedCameraHalV1_2);
+    EXPECT_EQ(*vm.getHal("android.hardware.camera", {2, 0}), expectedCameraHalV2_0);
+    EXPECT_EQ(*vm.getHal("android.hardware.nfc", {1, 0}), expectedNfcHal);
+    EXPECT_EQ(*vm.getHal("android.hardware.nfc", {2, 0}), expectedNfcHal);
+    EXPECT_EQ(*vm.getHal("android.hardware.nfc", {2, 1}), expectedNfcHal);
+
+    EXPECT_EQ(vm.getHal("non-existent", {1, 0}), nullptr);
+    EXPECT_EQ(vm.getHal("android.hardware.camera", {2, 1}), nullptr);
+    EXPECT_EQ(vm.getHal("android.hardware.camera", {1, 3}), nullptr);
+    EXPECT_EQ(vm.getHal("android.hardware.nfc", {1, 1}), nullptr);
+    EXPECT_EQ(vm.getHal("android.hardware.nfc", {3, 0}), nullptr);
+}
+
+TEST_F(LibVintfTest, CompatibilityMatrixGetHals) {
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(add(cm, MatrixHal{HalFormat::NATIVE,
+                                  "android.hardware.camera",
+                                  {{VersionRange(1, 2, 3), VersionRange(4, 5, 6)}},
+                                  false /* optional */,
+                                  testHalInterfaces()}));
+    EXPECT_TRUE(add(cm, MatrixHal{HalFormat::NATIVE,
+                                  "android.hardware.nfc",
+                                  {{VersionRange(4, 5, 6), VersionRange(10, 11, 12)}},
+                                  true /* optional */,
+                                  testHalInterfaces()}));
+
+    MatrixHal expectedCameraHal = MatrixHal{
+        HalFormat::NATIVE,
+        "android.hardware.camera",
+        {{VersionRange(1, 2, 3), VersionRange(4, 5, 6)}},
+        false /* optional */,
+        testHalInterfaces(),
+    };
+    MatrixHal expectedNfcHal = MatrixHal{HalFormat::NATIVE,
+                                         "android.hardware.nfc",
+                                         {{VersionRange(4, 5, 6), VersionRange(10, 11, 12)}},
+                                         true /* optional */,
+                                         testHalInterfaces()};
+    auto cameraHals = cm.getHals("android.hardware.camera");
+    EXPECT_EQ((int)cameraHals.size(), 1);
+    EXPECT_EQ(*cameraHals[0], expectedCameraHal);
+    auto nfcHals = cm.getHals("android.hardware.nfc");
+    EXPECT_EQ((int)nfcHals.size(), 1);
+    EXPECT_EQ(*nfcHals[0], expectedNfcHal);
+
+    EXPECT_EQ(*cm.getHal("android.hardware.camera", {1, 2}), expectedCameraHal);
+    EXPECT_EQ(*cm.getHal("android.hardware.camera", {1, 3}), expectedCameraHal);
+    EXPECT_EQ(*cm.getHal("android.hardware.camera", {4, 5}), expectedCameraHal);
+    EXPECT_EQ(*cm.getHal("android.hardware.nfc", {4, 5}), expectedNfcHal);
+    EXPECT_EQ(*cm.getHal("android.hardware.nfc", {10, 12}), expectedNfcHal);
+
+    EXPECT_EQ(cm.getHal("non-existent", {1, 0}), nullptr);
+    EXPECT_EQ(cm.getHal("android.hardware.camera", {2, 1}), nullptr);
+    EXPECT_EQ(cm.getHal("android.hardware.camera", {1, 0}), nullptr);
+    EXPECT_EQ(cm.getHal("android.hardware.nfc", {3, 0}), nullptr);
+    EXPECT_EQ(cm.getHal("android.hardware.nfc", {4, 7}), nullptr);
+}
+
+TEST_F(LibVintfTest, RuntimeInfo) {
+    RuntimeInfo ki = testRuntimeInfo();
+    using KernelConfigs = std::vector<KernelConfig>;
+    const KernelConfigs configs {
+            KernelConfig{"CONFIG_64BIT", Tristate::YES},
+            KernelConfig{"CONFIG_ANDROID_BINDER_DEVICES", "binder,hwbinder"},
+            KernelConfig{"CONFIG_ARCH_MMAP_RND_BITS", 24},
+            KernelConfig{"CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE_NAMES", ""},
+            KernelConfig{"CONFIG_ILLEGAL_POINTER_VALUE", 0xdead000000000000},
+            KernelConfig{"CONFIG_NOTEXIST", Tristate::NO},
+    };
+
+    auto testMatrix = [&] (MatrixKernel &&kernel) {
+        CompatibilityMatrix cm;
+        add(cm, std::move(kernel));
+        set(cm, {30, {{25, 0}}});
+        setAvb(cm, {2, 1});
+        return cm;
+    };
+
+    std::string error;
+
+    {
+        MatrixKernel kernel(KernelVersion{4, 4, 1}, KernelConfigs(configs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Kernel version shouldn't match";
+    }
+
+    {
+        MatrixKernel kernel(KernelVersion{3, 18, 60}, KernelConfigs(configs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Kernel version shouldn't match";
+    }
+
+    {
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, KernelConfigs(configs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_TRUE(ki.checkCompatibility(cm, &error)) << error;
+    }
+
+    {
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, KernelConfigs(configs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        set(cm, Sepolicy{22, {{25, 0}}});
+        EXPECT_FALSE(ki.checkCompatibility(cm, &error))
+            << "kernel-sepolicy-version shouldn't match";
+        set(cm, Sepolicy{40, {{25, 0}}});
+        EXPECT_FALSE(ki.checkCompatibility(cm, &error))
+            << "kernel-sepolicy-version shouldn't match";
+    }
+
+    {
+        KernelConfigs newConfigs(configs);
+        newConfigs[0] = KernelConfig{"CONFIG_64BIT", Tristate::NO};
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, std::move(newConfigs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Value shouldn't match for tristate";
+    }
+
+    {
+        KernelConfigs newConfigs(configs);
+        newConfigs[0] = KernelConfig{"CONFIG_64BIT", 20};
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, std::move(newConfigs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Type shouldn't match";
+    }
+
+    {
+        KernelConfigs newConfigs(configs);
+        newConfigs[1] = KernelConfig{"CONFIG_ANDROID_BINDER_DEVICES", "binder"};
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, std::move(newConfigs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Value shouldn't match for string";
+    }
+
+    {
+        KernelConfigs newConfigs(configs);
+        newConfigs[1] = KernelConfig{"CONFIG_ANDROID_BINDER_DEVICES", Tristate::YES};
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, std::move(newConfigs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Type shouldn't match";
+    }
+
+    {
+        KernelConfigs newConfigs(configs);
+        newConfigs[2] = KernelConfig{"CONFIG_ARCH_MMAP_RND_BITS", 30};
+        MatrixKernel kernel(KernelVersion{3, 18, 22}, std::move(newConfigs));
+        CompatibilityMatrix cm = testMatrix(std::move(kernel));
+        EXPECT_FALSE(ki.checkCompatibility(cm)) << "Value shouldn't match for integer";
+    }
+
+    RuntimeInfo badAvb = testRuntimeInfo();
+    CompatibilityMatrix cm = testMatrix(MatrixKernel(KernelVersion{3, 18, 31}, {}));
+    {
+        setAvb(badAvb, {1, 0}, {2, 1});
+        EXPECT_FALSE(badAvb.checkCompatibility(cm, &error));
+        EXPECT_STREQ(error.c_str(), "Vbmeta version 1.0 does not match framework matrix 2.1");
+    }
+    {
+        setAvb(badAvb, {2, 1}, {3, 0});
+        EXPECT_FALSE(badAvb.checkCompatibility(cm, &error));
+    }
+    {
+        setAvb(badAvb, {2, 1}, {2, 3});
+        EXPECT_TRUE(badAvb.checkCompatibility(cm, &error));
+    }
+    {
+        setAvb(badAvb, {2, 3}, {2, 1});
+        EXPECT_TRUE(badAvb.checkCompatibility(cm, &error));
+    }
+}
+
+TEST_F(LibVintfTest, MissingAvb) {
+    std::string xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.31\"></kernel>"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "        <sepolicy-version>25.5</sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "</compatibility-matrix>\n";
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml));
+    EXPECT_EQ(getAvb(cm), Version(0, 0));
+}
+
+TEST_F(LibVintfTest, DisableAvb) {
+    std::string xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.31\"></kernel>"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "        <sepolicy-version>25.5</sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb>\n"
+        "        <vbmeta-version>1.0</vbmeta-version>\n"
+        "    </avb>\n"
+        "</compatibility-matrix>\n";
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml));
+    RuntimeInfo ki = testRuntimeInfo();
+    std::string error;
+    EXPECT_FALSE(ki.checkCompatibility(cm, &error));
+    EXPECT_STREQ(error.c_str(), "AVB version 2.1 does not match framework matrix 1.0");
+    EXPECT_TRUE(ki.checkCompatibility(cm, &error, DISABLE_AVB_CHECK)) << error;
+}
+
+// This is the test extracted from VINTF Object doc
+TEST_F(LibVintfTest, HalCompat) {
+    CompatibilityMatrix matrix;
+    std::string error;
+
+    std::string matrixXml =
+            "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+            "    <hal format=\"hidl\" optional=\"false\">\n"
+            "        <name>android.hardware.foo</name>\n"
+            "        <version>1.0</version>\n"
+            "        <version>3.1-2</version>\n"
+            "        <interface>\n"
+            "            <name>IFoo</name>\n"
+            "            <instance>default</instance>\n"
+            "            <instance>specific</instance>\n"
+            "        </interface>\n"
+            "    </hal>\n"
+            "    <hal format=\"hidl\" optional=\"false\">\n"
+            "        <name>android.hardware.foo</name>\n"
+            "        <version>2.0</version>\n"
+            "        <interface>\n"
+            "            <name>IBar</name>\n"
+            "            <instance>default</instance>\n"
+            "        </interface>\n"
+            "    </hal>\n"
+            "    <sepolicy>\n"
+            "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+            "        <sepolicy-version>25.5</sepolicy-version>\n"
+            "    </sepolicy>\n"
+            "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml))
+            << gCompatibilityMatrixConverter.lastError();
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>1.0</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "            <instance>specific</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>2.0</version>\n"
+                "        <interface>\n"
+                "            <name>IBar</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+        EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+    }
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>1.0</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "            <instance>specific</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+        EXPECT_FALSE(manifest.checkCompatibility(matrix, &error))
+                << "should not be compatible because IBar is missing";
+    }
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>1.0</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>2.0</version>\n"
+                "        <interface>\n"
+                "            <name>IBar</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+        EXPECT_FALSE(manifest.checkCompatibility(matrix, &error))
+                << "should not be compatible because IFoo/default is missing";
+    }
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>3.3</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "            <instance>specific</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>2.0</version>\n"
+                "        <interface>\n"
+                "            <name>IBar</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+        EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+    }
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>1.0</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>3.2</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>specific</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>2.0</version>\n"
+                "        <interface>\n"
+                "            <name>IBar</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+        EXPECT_FALSE(manifest.checkCompatibility(matrix, &error))
+                << "should not be compatible even though @1.0::IFoo/default "
+                << "and @3.2::IFoo/specific present";
+    }
+
+    {
+        std::string manifestXml =
+                "<manifest version=\"1.0\" type=\"device\">\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>1.0</version>\n"
+                "        <interface>\n"
+                "            <name>IFoo</name>\n"
+                "            <instance>default</instance>\n"
+                "            <instance>specific</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <hal format=\"hidl\">\n"
+                "        <name>android.hardware.foo</name>\n"
+                "        <transport>hwbinder</transport>\n"
+                "        <version>2.0</version>\n"
+                "        <interface>\n"
+                "            <name>IBar</name>\n"
+                "            <instance>default</instance>\n"
+                "        </interface>\n"
+                "    </hal>\n"
+                "    <sepolicy>\n"
+                "        <version>25.5</version>\n"
+                "    </sepolicy>\n"
+                "</manifest>\n";
+        HalManifest manifest;
+        EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml))
+            << gHalManifestConverter.lastError();
+        EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+    }
+}
+
+TEST_F(LibVintfTest, Compat) {
+    std::string manifestXml =
+        "<manifest version=\"1.0\" type=\"device\">\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hardware.camera</name>\n"
+        "        <transport>hwbinder</transport>\n"
+        "        <version>3.5</version>\n"
+        "        <interface>\n"
+        "            <name>IBetterCamera</name>\n"
+        "            <instance>camera</instance>\n"
+        "        </interface>\n"
+        "        <interface>\n"
+        "            <name>ICamera</name>\n"
+        "            <instance>default</instance>\n"
+        "            <instance>legacy/0</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hardware.nfc</name>\n"
+        "        <transport>hwbinder</transport>\n"
+        "        <version>1.0</version>\n"
+        "        <interface>\n"
+        "            <name>INfc</name>\n"
+        "            <instance>nfc_nci</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <hal format=\"hidl\">\n"
+        "        <name>android.hardware.nfc</name>\n"
+        "        <transport>hwbinder</transport>\n"
+        "        <version>2.0</version>\n"
+        "        <interface>\n"
+        "            <name>INfc</name>\n"
+        "            <instance>default</instance>\n"
+        "            <instance>nfc_nci</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <sepolicy>\n"
+        "        <version>25.5</version>\n"
+        "    </sepolicy>\n"
+        "</manifest>\n";
+
+    std::string matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.camera</name>\n"
+        "        <version>2.0-5</version>\n"
+        "        <version>3.4-16</version>\n"
+        "        <interface>\n"
+        "            <name>IBetterCamera</name>\n"
+        "            <instance>camera</instance>\n"
+        "        </interface>\n"
+        "        <interface>\n"
+        "            <name>ICamera</name>\n"
+        "            <instance>default</instance>\n"
+        "            <instance>legacy/0</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.nfc</name>\n"
+        "        <version>1.0</version>\n"
+        "        <version>2.0</version>\n"
+        "        <interface>\n"
+        "            <name>INfc</name>\n"
+        "            <instance>nfc_nci</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "    <hal format=\"hidl\" optional=\"true\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>1.0</version>\n"
+        "    </hal>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "        <sepolicy-version>25.5</sepolicy-version>\n"
+        "        <sepolicy-version>26.0-3</sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb>\n"
+        "        <vbmeta-version>2.1</vbmeta-version>\n"
+        "    </avb>\n"
+        "</compatibility-matrix>\n";
+
+    HalManifest manifest;
+    CompatibilityMatrix matrix;
+    std::string error;
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+
+    // some smaller test cases
+    matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.camera</name>\n"
+        "        <version>3.4</version>\n"
+        "    </hal>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "        <sepolicy-version>25.5</sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+    matrix = {};
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+    MatrixHal *camera = getAnyHal(matrix, "android.hardware.camera");
+    EXPECT_NE(camera, nullptr);
+    camera->versionRanges[0] = {3, 5};
+    EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+    camera->versionRanges[0] = {3, 6};
+    EXPECT_FALSE(manifest.checkCompatibility(matrix));
+
+    // reset it
+    matrix = {};
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    set(matrix, Sepolicy{30, {{26, 0}}});
+    EXPECT_FALSE(manifest.checkCompatibility(matrix));
+    set(matrix, Sepolicy{30, {{25, 6}}});
+    EXPECT_FALSE(manifest.checkCompatibility(matrix));
+    set(matrix, Sepolicy{30, {{25, 4}}});
+    EXPECT_TRUE(manifest.checkCompatibility(matrix, &error)) << error;
+}
+
+/////////////////// xmlfile tests
+
+TEST_F(LibVintfTest, HalManifestConverterXmlFile) {
+    HalManifest vm = testDeviceManifestWithXmlFile();
+    std::string xml = gHalManifestConverter(vm);
+    EXPECT_EQ(xml,
+              "<manifest version=\"1.0\" type=\"device\">\n"
+              "    <hal format=\"hidl\">\n"
+              "        <name>android.hardware.camera</name>\n"
+              "        <transport>hwbinder</transport>\n"
+              "        <version>2.0</version>\n"
+              "        <interface>\n"
+              "            <name>IBetterCamera</name>\n"
+              "            <instance>camera</instance>\n"
+              "        </interface>\n"
+              "        <interface>\n"
+              "            <name>ICamera</name>\n"
+              "            <instance>default</instance>\n"
+              "            <instance>legacy/0</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "    <hal format=\"hidl\">\n"
+              "        <name>android.hardware.nfc</name>\n"
+              "        <transport arch=\"32+64\">passthrough</transport>\n"
+              "        <version>1.0</version>\n"
+              "        <interface>\n"
+              "            <name>INfc</name>\n"
+              "            <instance>default</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "    <sepolicy>\n"
+              "        <version>25.0</version>\n"
+              "    </sepolicy>\n"
+              "    <xmlfile>\n"
+              "        <name>media_profile</name>\n"
+              "        <version>1.0</version>\n"
+              "    </xmlfile>\n"
+              "</manifest>\n");
+    HalManifest vm2;
+    EXPECT_TRUE(gHalManifestConverter(&vm2, xml));
+    EXPECT_EQ(vm, vm2);
+}
+
+TEST_F(LibVintfTest, CompatibilityMatrixConverterXmlFile) {
+    CompatibilityMatrix cm;
+    addXmlFile(cm, "media_profile", {1, 0});
+    std::string xml = gCompatibilityMatrixConverter(cm);
+    EXPECT_EQ(xml,
+              "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+              "    <sepolicy>\n"
+              "        <kernel-sepolicy-version>0</kernel-sepolicy-version>\n"
+              "    </sepolicy>\n"
+              "    <avb>\n"
+              "        <vbmeta-version>0.0</vbmeta-version>\n"
+              "    </avb>\n"
+              "    <xmlfile format=\"dtd\" optional=\"true\">\n"
+              "        <name>media_profile</name>\n"
+              "        <version>1.0</version>\n"
+              "    </xmlfile>\n"
+              "</compatibility-matrix>\n");
+    CompatibilityMatrix cm2;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml));
+    EXPECT_EQ(cm, cm2);
+}
+
+TEST_F(LibVintfTest, CompatibilityMatrixConverterXmlFile2) {
+    std::string xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <xmlfile format=\"dtd\" optional=\"false\">\n"
+        "        <name>media_profile</name>\n"
+        "        <version>1.0</version>\n"
+        "    </xmlfile>\n"
+        "</compatibility-matrix>\n";
+    CompatibilityMatrix cm;
+    EXPECT_FALSE(gCompatibilityMatrixConverter(&cm, xml));
+    EXPECT_EQ(
+        "compatibility-matrix.xmlfile entry media_profile has to be optional for "
+        "compatibility matrix version 1.0",
+        gCompatibilityMatrixConverter.lastError());
+}
+
+TEST_F(LibVintfTest, ManifestXmlFilePathDevice) {
+    std::string manifestXml =
+        "<manifest version=\"1.0\" type=\"device\">"
+        "    <xmlfile>"
+        "        <name>media_profile</name>"
+        "        <version>1.0</version>"
+        "    </xmlfile>"
+        "</manifest>";
+    HalManifest manifest;
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_EQ(manifest.getXmlFilePath("media_profile", {1, 0}),
+              "/vendor/etc/media_profile_V1_0.xml");
+}
+
+TEST_F(LibVintfTest, ManifestXmlFilePathFramework) {
+    std::string manifestXml =
+        "<manifest version=\"1.0\" type=\"framework\">"
+        "    <xmlfile>"
+        "        <name>media_profile</name>"
+        "        <version>1.0</version>"
+        "    </xmlfile>"
+        "</manifest>";
+    HalManifest manifest;
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_EQ(manifest.getXmlFilePath("media_profile", {1, 0}),
+              "/system/etc/media_profile_V1_0.xml");
+}
+
+TEST_F(LibVintfTest, ManifestXmlFilePathOverride) {
+    std::string manifestXml =
+        "<manifest version=\"1.0\" type=\"device\">"
+        "    <xmlfile>"
+        "        <name>media_profile</name>"
+        "        <version>1.0</version>"
+        "        <path>/vendor/etc/foo.xml</path>"
+        "    </xmlfile>"
+        "</manifest>";
+    HalManifest manifest;
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_EQ(manifest.getXmlFilePath("media_profile", {1, 0}), "/vendor/etc/foo.xml");
+}
+
+TEST_F(LibVintfTest, ManifestXmlFilePathMissing) {
+    std::string manifestXml =
+        "<manifest version=\"1.0\" type=\"device\">"
+        "    <xmlfile>"
+        "        <name>media_profile</name>"
+        "        <version>1.1</version>"
+        "    </xmlfile>"
+        "</manifest>";
+    HalManifest manifest;
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_EQ(manifest.getXmlFilePath("media_profile", {1, 0}), "");
+}
+
+TEST_F(LibVintfTest, MatrixXmlFilePathFramework) {
+    std::string matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">"
+        "    <xmlfile format=\"dtd\" optional=\"true\">"
+        "        <name>media_profile</name>"
+        "        <version>2.0-1</version>"
+        "    </xmlfile>"
+        "</compatibility-matrix>";
+    CompatibilityMatrix matrix;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_EQ(matrix.getXmlSchemaPath("media_profile", {2, 1}),
+              "/system/etc/media_profile_V2_1.dtd");
+}
+
+TEST_F(LibVintfTest, MatrixXmlFilePathDevice) {
+    std::string matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"device\">"
+        "    <xmlfile format=\"xsd\" optional=\"true\">"
+        "        <name>media_profile</name>"
+        "        <version>2.0-1</version>"
+        "    </xmlfile>"
+        "</compatibility-matrix>";
+    CompatibilityMatrix matrix;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_EQ(matrix.getXmlSchemaPath("media_profile", {2, 0}),
+              "/vendor/etc/media_profile_V2_1.xsd");
+}
+
+TEST_F(LibVintfTest, MatrixXmlFilePathOverride) {
+    std::string matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">"
+        "    <xmlfile format=\"xsd\" optional=\"true\">"
+        "        <name>media_profile</name>"
+        "        <version>2.0-1</version>"
+        "        <path>/system/etc/foo.xsd</path>"
+        "    </xmlfile>"
+        "</compatibility-matrix>";
+    CompatibilityMatrix matrix;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_EQ(matrix.getXmlSchemaPath("media_profile", {2, 0}), "/system/etc/foo.xsd");
+}
+
+TEST_F(LibVintfTest, MatrixXmlFilePathMissing) {
+    std::string matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">"
+        "    <xmlfile format=\"dtd\" optional=\"true\">"
+        "        <name>media_profile</name>"
+        "        <version>2.1</version>"
+        "    </xmlfile>"
+        "</compatibility-matrix>";
+    CompatibilityMatrix matrix;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_EQ(matrix.getXmlSchemaPath("media_profile", {2, 0}), "");
+}
+
+std::pair<KernelConfigParser, status_t> processData(const std::string& data, bool processComments,
+                                                    bool relaxedFormat = false) {
+    KernelConfigParser parser(processComments, relaxedFormat);
+    const char* p = data.c_str();
+    size_t n = 0;
+    size_t chunkSize;
+    status_t status = OK;
+    for (; n < data.size(); p += chunkSize, n += chunkSize) {
+        chunkSize = std::min<size_t>(5, data.size() - n);
+        if ((status = parser.process(p, chunkSize)) != OK) {
+            break;
+        }
+    }
+    return {std::move(parser), status};
+}
+
+TEST_F(LibVintfTest, KernelConfigParser) {
+    // usage in /proc/config.gz
+    const std::string data =
+        "# CONFIG_NOT_SET is not set\n"
+        "CONFIG_ONE=1\n"
+        "CONFIG_Y=y\n"
+        "CONFIG_STR=\"string\"\n";
+    auto pair = processData(data, false /* processComments */);
+    ASSERT_EQ(OK, pair.second) << pair.first.error();
+    const auto& configs = pair.first.configs();
+
+    EXPECT_EQ(configs.find("CONFIG_ONE")->second, "1");
+    EXPECT_EQ(configs.find("CONFIG_Y")->second, "y");
+    EXPECT_EQ(configs.find("CONFIG_STR")->second, "\"string\"");
+    EXPECT_EQ(configs.find("CONFIG_NOT_SET"), configs.end());
+}
+
+TEST_F(LibVintfTest, KernelConfigParser2) {
+    // usage in android-base.cfg
+    const std::string data =
+        "# CONFIG_NOT_SET is not set\n"
+        "CONFIG_ONE=1\n"
+        "CONFIG_Y=y\n"
+        "CONFIG_STR=string\n"
+        "# ignore_thiscomment\n"
+        "# CONFIG_NOT_SET2 is not set\n";
+    auto pair = processData(data, true /* processComments */);
+    ASSERT_EQ(OK, pair.second) << pair.first.error();
+    const auto& configs = pair.first.configs();
+
+    EXPECT_EQ(configs.find("CONFIG_ONE")->second, "1");
+    EXPECT_EQ(configs.find("CONFIG_Y")->second, "y");
+    EXPECT_EQ(configs.find("CONFIG_STR")->second, "string");
+    EXPECT_EQ(configs.find("CONFIG_NOT_SET")->second, "n");
+    EXPECT_EQ(configs.find("CONFIG_NOT_SET2")->second, "n");
+}
+
+TEST_F(LibVintfTest, KernelConfigParserSpace) {
+    // usage in android-base.cfg
+    const std::string data =
+        "   #   CONFIG_NOT_SET is not set   \n"
+        "  CONFIG_ONE=1   # 'tis a one!\n"
+        " CONFIG_TWO=2 #'tis a two!   \n"
+        " CONFIG_THREE=3#'tis a three!   \n"
+        " CONFIG_233=233#'tis a three!   \n"
+        "#yey! random comments\n"
+        "CONFIG_Y=y   \n"
+        " CONFIG_YES=y#YES!   \n"
+        "CONFIG_STR=string\n"
+        "CONFIG_HELLO=hello world!  #still works\n"
+        "CONFIG_WORLD=hello world!       \n"
+        "CONFIG_GOOD   =   good morning!  #comments here\n"
+        "    CONFIG_MORNING   =   good morning!  \n";
+    auto pair = processData(data, true /* processComments */, true /* relaxedFormat */);
+    ASSERT_EQ(OK, pair.second) << pair.first.error();
+    const auto& configs = pair.first.configs();
+
+    EXPECT_EQ(configs.find("CONFIG_ONE")->second, "1");
+    EXPECT_EQ(configs.find("CONFIG_TWO")->second, "2");
+    EXPECT_EQ(configs.find("CONFIG_THREE")->second, "3");
+    EXPECT_EQ(configs.find("CONFIG_Y")->second, "y");
+    EXPECT_EQ(configs.find("CONFIG_STR")->second, "string");
+    EXPECT_EQ(configs.find("CONFIG_HELLO")->second, "hello world!")
+        << "Value should be \"hello world!\" without trailing spaces";
+    EXPECT_EQ(configs.find("CONFIG_WORLD")->second, "hello world!")
+        << "Value should be \"hello world!\" without trailing spaces";
+    EXPECT_EQ(configs.find("CONFIG_GOOD")->second, "good morning!")
+        << "Value should be \"good morning!\" without leading or trailing spaces";
+    EXPECT_EQ(configs.find("CONFIG_MORNING")->second, "good morning!")
+        << "Value should be \"good morning!\" without leading or trailing spaces";
+    EXPECT_EQ(configs.find("CONFIG_NOT_SET")->second, "n");
+}
+
+TEST_F(LibVintfTest, NetutilsWrapperMatrix) {
+    std::string matrixXml;
+    CompatibilityMatrix matrix;
+
+    matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"device\">"
+        "    <hal format=\"native\" optional=\"false\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.0</version>"
+        "    </hal>"
+        "</compatibility-matrix>";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&matrix, matrixXml))
+        << gCompatibilityMatrixConverter.lastError();
+
+// only host libvintf hardcodes netutils-wrapper version requirements
+#ifdef LIBVINTF_HOST
+
+    matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"device\">"
+        "    <hal format=\"native\" optional=\"false\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.0-1</version>"
+        "    </hal>"
+        "</compatibility-matrix>";
+    EXPECT_FALSE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_CONTAINS(
+        gCompatibilityMatrixConverter.lastError(),
+        "netutils-wrapper HAL must specify exactly one version x.0, but a range is provided. "
+        "Perhaps you mean '1.0'?");
+
+    matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"device\">"
+        "    <hal format=\"native\" optional=\"false\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.1</version>"
+        "    </hal>"
+        "</compatibility-matrix>";
+    EXPECT_FALSE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_CONTAINS(
+        gCompatibilityMatrixConverter.lastError(),
+        "netutils-wrapper HAL must specify exactly one version x.0, but minor version is not 0. "
+        "Perhaps you mean '1.0'?");
+
+    matrixXml =
+        "<compatibility-matrix version=\"1.0\" type=\"device\">"
+        "    <hal format=\"native\" optional=\"false\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.0</version>"
+        "        <version>2.0</version>"
+        "    </hal>"
+        "</compatibility-matrix>";
+    EXPECT_FALSE(gCompatibilityMatrixConverter(&matrix, matrixXml));
+    EXPECT_CONTAINS(
+        gCompatibilityMatrixConverter.lastError(),
+        "netutils-wrapper HAL must specify exactly one version x.0, but multiple <version> element "
+        "is specified.");
+
+#endif  // LIBVINTF_HOST
+}
+
+TEST_F(LibVintfTest, NetutilsWrapperManifest) {
+    std::string manifestXml;
+    HalManifest manifest;
+
+    manifestXml =
+        "<manifest version=\"1.0\" type=\"framework\">"
+        "    <hal format=\"native\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.0</version>"
+        "        <version>2.0</version>"
+        "    </hal>"
+        "</manifest>";
+    EXPECT_TRUE(gHalManifestConverter(&manifest, manifestXml)) << gHalManifestConverter.lastError();
+
+// only host libvintf hardcodes netutils-wrapper version requirements
+#ifdef LIBVINTF_HOST
+
+    manifestXml =
+        "<manifest version=\"1.0\" type=\"framework\">"
+        "    <hal format=\"native\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.1</version>"
+        "    </hal>"
+        "</manifest>";
+    EXPECT_FALSE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_CONTAINS(
+        gCompatibilityMatrixConverter.lastError(),
+        "netutils-wrapper HAL must specify exactly one version x.0, but multiple <version> element "
+        "is specified.");
+
+    manifestXml =
+        "<manifest version=\"1.0\" type=\"framework\">"
+        "    <hal format=\"native\">"
+        "        <name>netutils-wrapper</name>"
+        "        <version>1.0</version>"
+        "        <version>2.1</version>"
+        "    </hal>"
+        "</manifest>";
+    EXPECT_FALSE(gHalManifestConverter(&manifest, manifestXml));
+    EXPECT_CONTAINS(
+        gCompatibilityMatrixConverter.lastError(),
+        "netutils-wrapper HAL must specify exactly one version x.0, but multiple <version> element "
+        "is specified.");
+
+#endif  // LIBVINTF_HOST
+}
+
+TEST_F(LibVintfTest, KernelConfigConditionTest) {
+    std::string xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARM</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_FOO</key>\n"
+        "            <value type=\"tristate\">y</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "        <sepolicy-version>25.0</sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb>\n"
+        "        <vbmeta-version>2.1</vbmeta-version>\n"
+        "    </avb>\n"
+        "</compatibility-matrix>\n";
+
+    CompatibilityMatrix cm;
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    const auto& kernels = getKernels(cm);
+    ASSERT_GE(kernels.size(), 2u);
+    ASSERT_TRUE(kernels[0].conditions().empty());
+    const auto& kernel = kernels[1];
+    const auto& cond = kernel.conditions();
+    ASSERT_FALSE(cond.empty());
+    EXPECT_EQ("CONFIG_ARM", cond.begin()->first);
+    EXPECT_EQ(KernelConfigTypedValue(Tristate::YES), cond.begin()->second);
+    EXPECT_FALSE(kernel.configs().empty());
+
+    EXPECT_EQ(xml, gCompatibilityMatrixConverter(cm));
+}
+
+TEST_F(LibVintfTest, KernelConfigConditionEmptyTest) {
+    std::string xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"4.4.0\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARM</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "    </kernel>\n"
+        "</compatibility-matrix>\n";
+
+    CompatibilityMatrix cm;
+    EXPECT_FALSE(gCompatibilityMatrixConverter(&cm, xml))
+        << "Should not accept first kernel version with non-empty conditions";
+    EXPECT_EQ(
+        "First <kernel> for version 3.18 must have empty <conditions> "
+        "for backwards compatibility.",
+        gCompatibilityMatrixConverter.lastError());
+}
+
+TEST_F(LibVintfTest, KernelConfigConditionMatch) {
+    RuntimeInfo runtime = testRuntimeInfo();
+    std::string error;
+    std::string xml;
+    CompatibilityMatrix cm;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "            <value type=\"int\">24</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_TRUE(runtime.checkCompatibility(cm, &error)) << error;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "            <value type=\"int\">26</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_FALSE(runtime.checkCompatibility(cm, &error))
+        << "conditions met, so CONFIG_ARCH_MMAP_RND_BITS should not match";
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">n</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "            <value type=\"int\">26</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_TRUE(runtime.checkCompatibility(cm, &error)) << error;
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">24</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xdead000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_TRUE(runtime.checkCompatibility(cm, &error));
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">24</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xbeaf000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_FALSE(runtime.checkCompatibility(cm, &error))
+        << "conditions have 'and' relationship, so CONFIG_ILLEGAL_POINTER_VALUE should not match";
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\"/>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">26</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xbeaf000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_TRUE(runtime.checkCompatibility(cm, &error)) << error;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <config>\n"
+        "            <key>CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE_NAMES</key>\n"
+        "            <value type=\"string\"/>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xdead000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">24</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ANDROID_BINDER_DEVICES</key>\n"
+        "            <value type=\"string\">binder,hwbinder</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_TRUE(runtime.checkCompatibility(cm, &error)) << error;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <config>\n"
+        "            <key>CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE_NAMES</key>\n"
+        "            <value type=\"string\"/>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xbeaf000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">24</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ANDROID_BINDER_DEVICES</key>\n"
+        "            <value type=\"string\">binder,hwbinder</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_FALSE(runtime.checkCompatibility(cm, &error)) << "all fragments should be used.";
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\">\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <config>\n"
+        "            <key>CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE_NAMES</key>\n"
+        "            <value type=\"string\"/>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_64BIT</key>\n"
+        "                <value type=\"tristate\">y</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ILLEGAL_POINTER_VALUE</key>\n"
+        "            <value type=\"int\">0xdead000000000000</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <kernel version=\"3.18.22\">\n"
+        "        <conditions>\n"
+        "            <config>\n"
+        "                <key>CONFIG_ARCH_MMAP_RND_BITS</key>\n"
+        "                <value type=\"int\">24</value>\n"
+        "            </config>\n"
+        "        </conditions>\n"
+        "        <config>\n"
+        "            <key>CONFIG_ANDROID_BINDER_DEVICES</key>\n"
+        "            <value type=\"string\">binder</value>\n"
+        "        </config>\n"
+        "    </kernel>\n"
+        "    <sepolicy>\n"
+        "        <kernel-sepolicy-version>30</kernel-sepolicy-version>\n"
+        "    </sepolicy>\n"
+        "    <avb><vbmeta-version>2.1</vbmeta-version></avb>\n"
+        "</compatibility-matrix>\n";
+
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_FALSE(runtime.checkCompatibility(cm, &error)) << "all fragments should be used";
+}
+
+// Run KernelConfigParserInvalidTest on processComments = {true, false}
+class KernelConfigParserInvalidTest : public ::testing::TestWithParam<bool> {};
+
+TEST_P(KernelConfigParserInvalidTest, NonSet1) {
+    const std::string data = "# CONFIG_NOT_EXIST is not sat\n";
+    auto pair = processData(data, GetParam() /* processComments */, true /* relaxedFormat */);
+    ASSERT_EQ(OK, pair.second) << pair.first.error();
+    const auto& configs = pair.first.configs();
+    EXPECT_EQ(configs.find("CONFIG_NOT_EXIST"), configs.end())
+        << "CONFIG_NOT_EXIST should not exist because of typo";
+}
+
+TEST_P(KernelConfigParserInvalidTest, InvalidLine1) {
+    const std::string data = "FOO_CONFIG=foo\n";
+    ASSERT_NE(OK,
+              processData(data, GetParam() /* processComments */, true /* relaxedFormat */).second);
+}
+
+TEST_P(KernelConfigParserInvalidTest, InvalidLine2) {
+    const std::string data = "CONFIG_BAR-BAZ=foo\n";
+    ASSERT_NE(OK,
+              processData(data, GetParam() /* processComments */, true /* relaxedFormat */).second);
+}
+
+INSTANTIATE_TEST_CASE_P(KernelConfigParser, KernelConfigParserInvalidTest, ::testing::Bool());
+
+TEST_F(LibVintfTest, MatrixLevel) {
+    CompatibilityMatrix cm;
+    std::string xml;
+
+    xml = "<compatibility-matrix version=\"1.0\" type=\"framework\"/>";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_EQ(Level::UNSPECIFIED, cm.level());
+
+    xml = "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"legacy\"/>";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_EQ(Level::LEGACY, cm.level());
+
+    xml = "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\"/>";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm, xml))
+        << gCompatibilityMatrixConverter.lastError();
+    EXPECT_EQ(1u, cm.level());
+}
+
+TEST_F(LibVintfTest, ManifestLevel) {
+    HalManifest manifest;
+    std::string xml;
+
+    xml = "<manifest version=\"1.0\" type=\"device\"/>";
+    EXPECT_TRUE(gHalManifestConverter(&manifest, xml)) << gHalManifestConverter.lastError();
+    EXPECT_EQ(Level::UNSPECIFIED, manifest.level());
+
+    xml = "<manifest version=\"1.0\" type=\"device\" target-level=\"legacy\"/>";
+    EXPECT_TRUE(gHalManifestConverter(&manifest, xml)) << gHalManifestConverter.lastError();
+    EXPECT_EQ(Level::LEGACY, manifest.level());
+
+    xml = "<manifest version=\"1.0\" type=\"device\" target-level=\"1\"/>";
+    EXPECT_TRUE(gHalManifestConverter(&manifest, xml)) << gHalManifestConverter.lastError();
+    EXPECT_EQ(1u, manifest.level());
+}
+
+TEST_F(LibVintfTest, AddOptionalHal) {
+    CompatibilityMatrix cm1;
+    CompatibilityMatrix cm2;
+    std::string error;
+    std::string xml;
+
+    xml = "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\"/>";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm1, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"2\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>1.0-1</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    EXPECT_TRUE(addAllHalsAsOptional(&cm1, &cm2, &error)) << error;
+    xml = gCompatibilityMatrixConverter(cm1, SerializeFlag::HALS_ONLY);
+    EXPECT_EQ(xml,
+              "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\">\n"
+              "    <hal format=\"hidl\" optional=\"true\">\n"
+              "        <name>android.hardware.foo</name>\n"
+              "        <version>1.0-1</version>\n"
+              "        <interface>\n"
+              "            <name>IFoo</name>\n"
+              "            <instance>default</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "</compatibility-matrix>\n");
+}
+
+TEST_F(LibVintfTest, AddOptionalHalMinorVersion) {
+    CompatibilityMatrix cm1;
+    CompatibilityMatrix cm2;
+    std::string error;
+    std::string xml;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>1.2-3</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm1, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"2\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>1.0-4</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    EXPECT_TRUE(addAllHalsAsOptional(&cm1, &cm2, &error)) << error;
+    xml = gCompatibilityMatrixConverter(cm1, SerializeFlag::HALS_ONLY);
+    EXPECT_EQ(xml,
+              "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\">\n"
+              "    <hal format=\"hidl\" optional=\"false\">\n"
+              "        <name>android.hardware.foo</name>\n"
+              "        <version>1.2-4</version>\n"
+              "        <interface>\n"
+              "            <name>IFoo</name>\n"
+              "            <instance>default</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "</compatibility-matrix>\n");
+}
+
+TEST_F(LibVintfTest, AddOptionalHalMajorVersion) {
+    CompatibilityMatrix cm1;
+    CompatibilityMatrix cm2;
+    std::string error;
+    std::string xml;
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>1.2-3</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm1, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    xml =
+        "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"2\">\n"
+        "    <hal format=\"hidl\" optional=\"false\">\n"
+        "        <name>android.hardware.foo</name>\n"
+        "        <version>2.0-4</version>\n"
+        "        <interface>\n"
+        "            <name>IFoo</name>\n"
+        "            <instance>default</instance>\n"
+        "        </interface>\n"
+        "    </hal>\n"
+        "</compatibility-matrix>\n";
+    EXPECT_TRUE(gCompatibilityMatrixConverter(&cm2, xml))
+        << gCompatibilityMatrixConverter.lastError();
+
+    EXPECT_TRUE(addAllHalsAsOptional(&cm1, &cm2, &error)) << error;
+    xml = gCompatibilityMatrixConverter(cm1, SerializeFlag::HALS_ONLY);
+    EXPECT_EQ(xml,
+              "<compatibility-matrix version=\"1.0\" type=\"framework\" level=\"1\">\n"
+              "    <hal format=\"hidl\" optional=\"false\">\n"
+              "        <name>android.hardware.foo</name>\n"
+              "        <version>1.2-3</version>\n"
+              "        <interface>\n"
+              "            <name>IFoo</name>\n"
+              "            <instance>default</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "    <hal format=\"hidl\" optional=\"true\">\n"
+              "        <name>android.hardware.foo</name>\n"
+              "        <version>2.0-4</version>\n"
+              "        <interface>\n"
+              "            <name>IFoo</name>\n"
+              "            <instance>default</instance>\n"
+              "        </interface>\n"
+              "    </hal>\n"
+              "</compatibility-matrix>\n");
+}
+
+} // namespace vintf
+} // namespace android
+
+int main(int argc, char **argv) {
+    ::testing::InitGoogleTest(&argc, argv);
+    return RUN_ALL_TESTS();
+}