@fairfox/polly 0.85.0 → 0.85.2

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

@@ -252,8 +252,8 @@ var init_expression_validator = __esm(() => {
 // tools/verify/src/analysis/model-coverage.ts
 var exports_model_coverage = {};
 __export(exports_model_coverage, {
-  strictCoverageReasons: () => strictCoverageReasons,
-  computeModelCoverage: () => computeModelCoverage
+  computeModelCoverage: () => computeModelCoverage,
+  strictCoverageReasons: () => strictCoverageReasons
 });
 function norm(field) {
   return field.replace(/_/g, ".");
@@ -833,10 +833,10 @@ class TemporalTLAGenerator {
 // tools/verify/src/codegen/tla.ts
 var exports_tla = {};
 __export(exports_tla, {
-  generateTLA: () => generateTLA,
-  generateSubsystemTLA: () => generateSubsystemTLA,
+  TLAGenerator: () => TLAGenerator,
   TLAValidationError: () => TLAValidationError,
-  TLAGenerator: () => TLAGenerator
+  generateSubsystemTLA: () => generateSubsystemTLA,
+  generateTLA: () => generateTLA
 });
 import * as fs2 from "node:fs";
 import * as os from "node:os";
@@ -3390,19 +3390,19 @@ var init_witness = __esm(() => {
 // tools/verify/src/codegen/witness.ts
 var exports_witness2 = {};
 __export(exports_witness2, {
-  witnessVerdict: () => witnessVerdict,
-  witnessSpecLocation: () => witnessSpecLocation,
-  witnessPolarity: () => witnessPolarity,
-  routeWitness: () => routeWitness,
-  parseModuleName: () => parseModuleName,
-  buildWitnessModule: () => buildWitnessModule,
-  buildWitnessInvariantBare: () => buildWitnessInvariantBare,
-  buildWitnessInvariant: () => buildWitnessInvariant,
-  buildWitnessCfg: () => buildWitnessCfg,
-  bddPredicateToTLA: () => bddPredicateToTLA,
-  bareFieldRenderer: () => bareFieldRenderer,
+  WITNESS_INVARIANT: () => WITNESS_INVARIANT,
   WitnessTranslationError: () => WitnessTranslationError,
-  WITNESS_INVARIANT: () => WITNESS_INVARIANT
+  bareFieldRenderer: () => bareFieldRenderer,
+  bddPredicateToTLA: () => bddPredicateToTLA,
+  buildWitnessCfg: () => buildWitnessCfg,
+  buildWitnessInvariant: () => buildWitnessInvariant,
+  buildWitnessInvariantBare: () => buildWitnessInvariantBare,
+  buildWitnessModule: () => buildWitnessModule,
+  parseModuleName: () => parseModuleName,
+  routeWitness: () => routeWitness,
+  witnessPolarity: () => witnessPolarity,
+  witnessSpecLocation: () => witnessSpecLocation,
+  witnessVerdict: () => witnessVerdict
 });
 import * as path3 from "node:path";
 function witnessPolarity(tags) {
@@ -3527,12 +3527,37 @@ function sectionBody(cfg, header) {
   }
   return body;
 }
+function constantBody(cfg) {
+  const body = [];
+  let inSection = false;
+  for (const line of cfg.split(`
+`)) {
+    const headerMatch = /^([A-Z_]+)\b(.*)$/.exec(line);
+    if (headerMatch) {
+      const isConstant = headerMatch[1] === "CONSTANT" || headerMatch[1] === "CONSTANTS";
+      inSection = isConstant;
+      const inline = (headerMatch[2] ?? "").trim();
+      if (isConstant && inline !== "")
+        body.push(`  ${inline}`);
+      continue;
+    }
+    if (!inSection)
+      continue;
+    if (line.trim() === "" || line.trim().startsWith("\\*"))
+      continue;
+    body.push(line);
+  }
+  return body;
+}
 function headerLine(cfg, header) {
   for (const line of cfg.split(`
 `)) {
-    const m = new RegExp(`^${header}\\b(.*)$`).exec(line);
-    if (m)
-      return line.trimEnd();
+    if (!line.startsWith(header))
+      continue;
+    const next = line.charAt(header.length);
+    if (next !== "" && /\w/.test(next))
+      continue;
+    return line.trimEnd();
   }
   return null;
 }
@@ -3541,7 +3566,7 @@ function buildWitnessCfg(baseCfg) {
   const init = headerLine(baseCfg, "INIT");
   const next = headerLine(baseCfg, "NEXT");
   const behaviour = spec ? [spec] : init && next ? [init, next] : ["SPECIFICATION UserSpec"];
-  const constants = sectionBody(baseCfg, "CONSTANTS");
+  const constants = constantBody(baseCfg);
   const constraint = sectionBody(baseCfg, "CONSTRAINT");
   const symmetry = sectionBody(baseCfg, "SYMMETRY");
   const out = [
@@ -9562,4 +9587,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=0E6C5C2B308F1EA464756E2164756E21
+//# debugId=82348038946F09C064756E2164756E21