@fairfox/polly 0.85.1 → 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) {
@@ -3552,9 +3552,12 @@ function constantBody(cfg) {
 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;
 }
@@ -9584,4 +9587,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=F55B4EE81F3A37C864756E2164756E21
+//# debugId=82348038946F09C064756E2164756E21