mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
75dfdba040
Move as much code as possible from the generation script to Langkit_Support (modifying code templates is always a pain). Also make it possible for tests to restrict the set of solver configuratins to exercize: * the default (symbolic without optimizations, symbolic with optimizations and state machine); * only symbolic without optimizations; * only symbolic with optimizations; * only state machine. Some upcoming tests will check optimizations with relations that are too complex to solve with plain solution exploration in reasonable time, so restricting runs to optimizations is necessary. TN: SB20-024
64 lines
2.1 KiB
Python
64 lines
2.1 KiB
Python
import os
|
|
|
|
from drivers.base_driver import BaseDriver
|
|
|
|
|
|
class AdalogDriver(BaseDriver):
|
|
"""
|
|
Driver to test the Adalog solver framework.
|
|
|
|
The goal of this driver is to run a test twice: once exercizing the old
|
|
solver and another time exercizing the new one. To achieve this, testcases
|
|
are expected to provide a "Main" subprogram (main.adb) to run a solver
|
|
using the generic interface, i.e. the Solver_Ifc generic package
|
|
instantiation, declared in Langkit_Support.Adalog.Generic_Main_Support.
|
|
|
|
By default, tests are expected to use the
|
|
Langkit_Support.Adalog.Main_Support package. If they need to use their own
|
|
Generic_Main_Support instantiation, they must add their fully qualified
|
|
name as the "main_support_name" key in their "test.yaml".
|
|
|
|
The "solver-cfg" key in "test.yaml" controls which solver is exercized, and
|
|
with which optimization. It is a string (considered empty if omitted), see
|
|
the Langkit_Support.Adalog.Generic_Main_Support package for its usage.
|
|
"""
|
|
|
|
default_process_timeout = 300
|
|
|
|
def run(self):
|
|
solver_cfg = self.test_env.get("solver-cfg", "")
|
|
env = dict(os.environ)
|
|
env["ADALOG_SOLVER_CFG"] = solver_cfg
|
|
|
|
self.create_project_file("p.gpr", ["adalog_main.adb"])
|
|
main = "adalog_main.adb"
|
|
|
|
main_support_name = self.test_env.get("main_support_name")
|
|
if main_support_name:
|
|
solver_with_clause = "with {};".format(
|
|
".".join(main_support_name.split(".")[:-1])
|
|
)
|
|
else:
|
|
main_support_name = "Langkit_Support.Adalog.Main_Support"
|
|
solver_with_clause = f"with {main_support_name};"
|
|
|
|
with open(self.working_dir(main), "w") as f:
|
|
f.write(
|
|
f"""
|
|
with Main;
|
|
{solver_with_clause}
|
|
|
|
procedure Adalog_Main is
|
|
begin
|
|
{main_support_name}.Run_Main (Main'Access);
|
|
end Adalog_Main;
|
|
"""
|
|
)
|
|
self.gprbuild("p.gpr")
|
|
self.run_and_check(
|
|
[self.program_path(main)],
|
|
env=env,
|
|
for_coverage=True,
|
|
memcheck=True,
|
|
)
|