@fairfox/polly 0.12.1 → 0.12.3

package/dist/tools/verify/src/cli.js

@@ -1835,6 +1835,12 @@ class TLAGenerator {
       if (fieldConfig.type === "enum" && fieldConfig.values && fieldConfig.values.length > 0) {
         return `"${fieldConfig.values[0]}"`;
       }
+      if (fieldConfig.type === "array") {
+        return "<<>>";
+      }
+      if (fieldConfig.type === "string") {
+        return '""';
+      }
     }
     if ("maxLength" in fieldConfig) {
       return "<<>>";
@@ -1943,12 +1949,13 @@ class DockerRunner {
       "-v",
       `${specDir}:/work`,
       this.IMAGE_NAME,
+      "tlc",
       "-workers",
       `${options?.workers || 1}`,
       `${specName}.tla`
     ];
     const result = await this.runCommand("docker", args, {
-      timeout: options?.timeout || 60000
+      timeout: options?.timeout
     });
     return this.parseTLCOutput(result);
   }
@@ -2029,7 +2036,7 @@ class DockerRunner {
       const timeoutValue = options?.timeout ?? 0;
       const timeout = timeoutValue > 0 ? setTimeout(() => {
         proc.kill();
-        reject(new Error(`Command timed out after ${Math.floor(timeoutValue / 1000)}s. TLC was still making progress. Consider increasing the timeout or using preset: 'thorough' for no timeout.`));
+        reject(new Error(`Command timed out after ${Math.floor(timeoutValue / 1000)}s. TLC was still making progress. Consider increasing the timeout or setting timeout: 0 for no timeout.`));
       }, timeoutValue) : null;
       proc.on("close", (exitCode) => {
         if (timeout)
@@ -2457,22 +2464,6 @@ class ConfigGenerator {
     this.line("//");
     this.line("onRelease: 'error',");
     this.line("");
-    this.line("// Verification options (optional)");
-    this.line("// ─────────────────────");
-    this.line("//");
-    this.line("// Presets provide quick configuration:");
-    this.line("//   • 'quick': 1 minute timeout, 1 worker");
-    this.line("//   • 'balanced': 5 minutes timeout, 2 workers (default)");
-    this.line("//   • 'thorough': No timeout, 4 workers");
-    this.line("//");
-    this.line("// Or customize with verification options:");
-    this.line("//   verification: {");
-    this.line("//     timeout: 300,  // Timeout in seconds (0 = no timeout)");
-    this.line("//     workers: 2,    // Number of TLC workers");
-    this.line("//   }");
-    this.line("//");
-    this.line("// preset: 'balanced',");
-    this.line("");
     this.line("// ─────────────────────────────────────────────────────────");
     this.line("// Tier 2 Optimizations (controlled approximations) - ADVANCED");
     this.line("// ─────────────────────────────────────────────────────────");
@@ -5068,36 +5059,10 @@ Stack trace:`, COLORS.gray));
   }
 }
 function getTimeout(config) {
-  if (config.verification?.timeout !== undefined) {
-    return config.verification.timeout;
-  }
-  const preset = config.preset || "balanced";
-  switch (preset) {
-    case "quick":
-      return 300;
-    case "balanced":
-      return 900;
-    case "thorough":
-      return 0;
-    default:
-      return 900;
-  }
+  return config.verification?.timeout ?? 0;
 }
 function getWorkers(config) {
-  if (config.verification?.workers !== undefined) {
-    return config.verification.workers;
-  }
-  const preset = config.preset || "balanced";
-  switch (preset) {
-    case "quick":
-      return 1;
-    case "balanced":
-      return 2;
-    case "thorough":
-      return 4;
-    default:
-      return 2;
-  }
+  return config.verification?.workers ?? 1;
 }
 async function runFullVerification(configPath) {
   const config = await loadVerificationConfig(configPath);
@@ -5338,4 +5303,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=1F176417DE7AA13D64756E2164756E21
+//# debugId=83F06EAF1B4FA6A964756E2164756E21