Merge branch 'topic/auto_lkt_flag_test' into 'master'

Systematically test Lkt translation

Closes #592

See merge request eng/libadalang/langkit-query-language!595

Author: Killian Perlin

testsuite/drivers/interpreter_driver.py

@@ -1,6 +1,6 @@
 import os
 from e3.testsuite.result import FailureReason
-
+from e3.testsuite.driver.classic import TestAbortWithFailure
 from drivers.base_driver import BaseDriver
 
 
@@ -50,13 +50,23 @@ def compute_failures(self):
         result = self.compute_diff(filename, baseline, self.output.log)
 
         # Lkt Refactor test
-        if self.lkt_output:
-            result += self.compute_diff(
-                None,
-                baseline,
-                self.lkt_output,
-                failure_message="execution after refactor TO_LKQL_V2: unexpected output"
-            )
+        match self.test_env.get('lkt_refactor'):
+            case None:
+                xfail = self.compute_diff(None, baseline, self.lkt_output)
+                if not xfail:
+                    self.result.diff = 'Test unexpectedly succeeded after refactor TO_LKQL_V2'
+                    raise TestAbortWithFailure
+
+            case True:
+                result += self.compute_diff(
+                    None,
+                    baseline,
+                    self.lkt_output,
+                    failure_message='execution after refactor TO_LKQL_V2: unexpected output'
+                )
+
+            case False:
+                pass
 
         if result:
             self.result.failure_reasons.add(FailureReason.DIFF)
@@ -74,7 +84,7 @@ def run(self) -> None:
         # we refactor the "script.lkql" file and run the interpreter on it.
         # This way we can compare the results of the rewritten script
         # with the original
-        if self.test_env.get('lkt_refactor', False):
+        if self.test_env.get('lkt_refactor') is not False:
             # Translate "script.lkql" to "refactored.lkql"
             refactored_file_path = self.working_dir('refactored.lkql')
             with open(refactored_file_path, 'w') as file:

testsuite/tests/interpreter_errors/eq_different_kinds/test.yaml

@@ -1,3 +1,4 @@
 driver: 'interpreter'
 project: 'default_project/default.gpr'
+lkt_refactor: True
 failure: True

testsuite/tests/miscellaneous/string_casing/test.yaml

@@ -1,2 +1,3 @@
 driver: 'interpreter'
 project: 'default_project/default.gpr'
+lkt_refactor: True

testsuite/tests/miscellaneous/tab_in_source/test.yaml

@@ -1,2 +1,3 @@
 driver: 'interpreter'
 project: 'default_project/default.gpr'
+lkt_refactor: True

testsuite/tests/miscellaneous/to_lower_case/test.yaml

@@ -1,2 +1,3 @@
 driver: 'interpreter'
 project: 'default_project/default.gpr'
+lkt_refactor: True

testsuite/tests/miscellaneous/units/test.yaml

@@ -1,2 +1,3 @@
 driver: 'interpreter'
 project: 'default_project/default.gpr'
+lkt_refactor: True