You've already forked RecordFlux
mirror of
https://github.com/AdaCore/RecordFlux.git
synced 2026-02-12 13:01:56 -08:00
54 lines
2.0 KiB
Python
54 lines
2.0 KiB
Python
from pathlib import Path
|
|
|
|
import pytest
|
|
|
|
from rflx.generator.common import external_io_buffers
|
|
from rflx.integration import IntegrationFile, StateMachineIntegration
|
|
from tests.const import MAIN, STATE_MACHINE_NAME
|
|
from tests.feature import FEATURES, copy_src, create_complement, create_model, get_config
|
|
from tests.utils import assert_compilable_code, assert_executable_code
|
|
|
|
|
|
@pytest.mark.parametrize("feature", [f.name for f in FEATURES])
|
|
def test_compilability(feature: str, tmp_path: Path) -> None:
|
|
model, integration = create_model(feature)
|
|
copy_src(feature, tmp_path)
|
|
assert_compilable_code(model, integration, tmp_path)
|
|
|
|
|
|
@pytest.mark.parametrize("feature", [f.name for f in FEATURES])
|
|
def test_executability(feature: str, tmp_path: Path) -> None:
|
|
config = get_config(feature)
|
|
if not config.sequence:
|
|
pytest.skip()
|
|
model, integration = create_model(feature)
|
|
create_complement(config, feature, tmp_path)
|
|
assert assert_executable_code(model, integration, tmp_path, main=MAIN) == config.sequence
|
|
|
|
|
|
@pytest.mark.parametrize("feature", [f.name for f in FEATURES])
|
|
def test_executability_with_external_io_buffers(feature: str, tmp_path: Path) -> None:
|
|
config = get_config(feature)
|
|
if not config.sequence:
|
|
pytest.skip()
|
|
model, integration = create_model(feature)
|
|
if integration._packages: # noqa: SLF001
|
|
integration._packages["test"].state_machine[ # noqa: SLF001
|
|
STATE_MACHINE_NAME
|
|
].external_io_buffers = True
|
|
else:
|
|
integration.add_integration_file(
|
|
"test",
|
|
IntegrationFile(
|
|
Machine={
|
|
STATE_MACHINE_NAME: StateMachineIntegration(
|
|
Buffer_Size=None,
|
|
External_IO_Buffers=True,
|
|
),
|
|
},
|
|
),
|
|
)
|
|
config.external_io_buffers = len(external_io_buffers(model.state_machines[0].to_ir()))
|
|
create_complement(config, feature, tmp_path)
|
|
assert assert_executable_code(model, integration, tmp_path, main=MAIN) == config.sequence
|