test_engine: add test_verbose()

diff --git a/kconfig_hardened_check/test_engine.py b/kconfig_hardened_check/test_engine.py
index 960f5168f8fa14f4c0996ccbb0260d29d2e508a1..d04618d30b159042ae964a7e5197b89c3cb4742c 100644 (file)
--- a/kconfig_hardened_check/test_engine.py
+++ b/kconfig_hardened_check/test_engine.py
@@ -303,3 +303,49 @@ class TestEngine(unittest.TestCase):
                  ["CONFIG_NAME_4", "kconfig", "expected_4", "decision_4", "reason_4", "OK: version >= 42.43"]]
         )
 
+    def test_verbose(self):
+        # 1. prepare the checklist
+        config_checklist = []
+        config_checklist += [OR(KconfigCheck('reason_1', 'decision_1', 'NAME_1', 'expected_1'),
+                                AND(CmdlineCheck('reason_2', 'decision_2', 'name_2', 'expected_2'),
+                                    KconfigCheck('reason_3', 'decision_3', 'NAME_3', 'expected_3')))]
+        config_checklist += [AND(CmdlineCheck('reason_4', 'decision_4', 'name_4', 'expected_4'),
+                                 OR(KconfigCheck('reason_5', 'decision_5', 'NAME_5', 'expected_5'),
+                                    CmdlineCheck('reason_6', 'decision_6', 'name_6', 'expected_6')))]
+
+        # 2. prepare the parsed kconfig options
+        parsed_kconfig_options = OrderedDict()
+        parsed_kconfig_options['CONFIG_NAME_5'] = 'expected_5'
+
+        # 3. run the engine
+        self.run_engine(config_checklist, parsed_kconfig_options, None, None)
+
+        # 4. check that the results are correct
+        json_result = []
+        self.get_engine_result(config_checklist, json_result, 'json')
+        self.assertEqual(
+                json_result,
+                [["CONFIG_NAME_1", "kconfig", "expected_1", "decision_1", "reason_1", "FAIL: is not found"],
+                 ["name_4", "cmdline", "expected_4", "decision_4", "reason_4", "FAIL: is not found"]]
+        )
+
+        stdout_result = []
+        self.get_engine_result(config_checklist, stdout_result, 'stdout')
+        self.assertEqual(
+                stdout_result,
+                [
+"\
+    <<< OR >>>                                                                             | FAIL: is not found\n\
+CONFIG_NAME_1                           |kconfig| expected_1 |decision_1|     reason_1     | FAIL: is not found\n\
+    <<< AND >>>                                                                            | FAIL: CONFIG_NAME_3 is not \"expected_3\"\n\
+name_2                                  |cmdline| expected_2 |decision_2|     reason_2     | None\n\
+CONFIG_NAME_3                           |kconfig| expected_3 |decision_3|     reason_3     | FAIL: is not found\
+"\
+"\
+    <<< AND >>>                                                                            | FAIL: is not found\n\
+name_4                                  |cmdline| expected_4 |decision_4|     reason_4     | FAIL: is not found\n\
+    <<< OR >>>                                                                             | OK\n\
+CONFIG_NAME_5                           |kconfig| expected_5 |decision_5|     reason_5     | OK\n\
+name_6                                  |cmdline| expected_6 |decision_6|     reason_6     | None\
+"               ]
+        )