diff --git a/src/vss_tools/exporters/franca.py b/src/vss_tools/exporters/franca.py index 4b6d9e3c..5f18c15e 100644 --- a/src/vss_tools/exporters/franca.py +++ b/src/vss_tools/exporters/franca.py @@ -75,7 +75,8 @@ def print_franca_content(file: TextIOWrapper, root: VSSNode) -> None: output += f",\n\tmax: {max}" allowed = getattr(data, "allowed", None) if allowed: - output += f",\n\tallowed: {allowed}" + formatted = ", ".join(f'"{v}"' if isinstance(v, str) else str(v) for v in allowed) + output += f",\n\tallowed: [{formatted}]" output += "\n}" file.write(output) diff --git a/tests/vspec/test_allowed/expected.franca b/tests/vspec/test_allowed/expected.franca index 90887e90..24d58bc0 100644 --- a/tests/vspec/test_allowed/expected.franca +++ b/tests/vspec/test_allowed/expected.franca @@ -23,13 +23,13 @@ const SignalSpec[] signal_spec = [ type: "sensor", description: "A string", datatype: "string", - allowed: ['January', 'February'] + allowed: ["January", "February"] }, { name: "A.StringArray", type: "sensor", description: "A string array", datatype: "string[]", - allowed: ['January', 'February', 'March'] + allowed: ["January", "February", "March"] }, { name: "A.Int", type: "sensor",