@fairfox/polly 0.85.0 → 0.85.1

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

@@ -3527,6 +3527,28 @@ 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(`
 `)) {
@@ -3541,7 +3563,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 +9584,4 @@ main().catch((error) => {
   process.exit(1);
 });
 
-//# debugId=0E6C5C2B308F1EA464756E2164756E21
+//# debugId=F55B4EE81F3A37C864756E2164756E21