@fairfox/polly 0.12.2 → 0.12.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -1835,6 +1835,12 @@ class TLAGenerator {
|
|
|
1835
1835
|
if (fieldConfig.type === "enum" && fieldConfig.values && fieldConfig.values.length > 0) {
|
|
1836
1836
|
return `"${fieldConfig.values[0]}"`;
|
|
1837
1837
|
}
|
|
1838
|
+
if (fieldConfig.type === "array") {
|
|
1839
|
+
return "<<>>";
|
|
1840
|
+
}
|
|
1841
|
+
if (fieldConfig.type === "string") {
|
|
1842
|
+
return '""';
|
|
1843
|
+
}
|
|
1838
1844
|
}
|
|
1839
1845
|
if ("maxLength" in fieldConfig) {
|
|
1840
1846
|
return "<<>>";
|
|
@@ -1943,6 +1949,7 @@ class DockerRunner {
|
|
|
1943
1949
|
"-v",
|
|
1944
1950
|
`${specDir}:/work`,
|
|
1945
1951
|
this.IMAGE_NAME,
|
|
1952
|
+
"tlc",
|
|
1946
1953
|
"-workers",
|
|
1947
1954
|
`${options?.workers || 1}`,
|
|
1948
1955
|
`${specName}.tla`
|
|
@@ -5296,4 +5303,4 @@ main().catch((error) => {
|
|
|
5296
5303
|
process.exit(1);
|
|
5297
5304
|
});
|
|
5298
5305
|
|
|
5299
|
-
//# debugId=
|
|
5306
|
+
//# debugId=83F06EAF1B4FA6A964756E2164756E21
|