From 0cc488cc5a87d6a60577a1156748e6b825ae9086 Mon Sep 17 00:00:00 2001 From: Russoul Date: Thu, 28 May 2026 12:11:53 +0400 Subject: [PATCH 1/3] cardano-recon: replace positional FILE/FILES args with named --formulas/--traces --- bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs b/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs index 8917d1c5479..c34b0896579 100644 --- a/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs +++ b/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs @@ -91,7 +91,7 @@ parseDumpMetrics = option readBool $ <> help "enable periodic metric dumps to stdout" parseFormulasFile :: Parser FilePath -parseFormulasFile = argument str (metavar "FILE") +parseFormulasFile = option str (long "formulas" <> metavar "FILE" <> help "YAML file with a list of formulas to check") parseTraceDispatcherCfgFile :: Parser (Maybe FilePath) parseTraceDispatcherCfgFile = @@ -102,7 +102,7 @@ parseContext = option (optional str) (long "context" <> value Nothing <> metavar "FILE" <> help "context variables") parseTraceFiles :: Parser [FilePath] -parseTraceFiles = some (argument str (metavar "FILES")) +parseTraceFiles = some (option str (long "traces" <> metavar "FILE" <> help "trace log file (repeatable)")) parseRetention :: Parser Word parseRetention = option auto $ From a83e2778e45d5082fc04ae155d5d21321622e441 Mon Sep 17 00:00:00 2001 From: Russoul Date: Thu, 28 May 2026 12:15:24 +0400 Subject: [PATCH 2/3] cardano-recon-framework: bump version to 1.2.1, add changelog entry --- bench/cardano-recon-framework/CHANGELOG.md | 4 ++++ bench/cardano-recon-framework/cardano-recon-framework.cabal | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/bench/cardano-recon-framework/CHANGELOG.md b/bench/cardano-recon-framework/CHANGELOG.md index 4fc549f6e93..cf312ae2d4b 100644 --- a/bench/cardano-recon-framework/CHANGELOG.md +++ b/bench/cardano-recon-framework/CHANGELOG.md @@ -1,5 +1,9 @@ # Revision history for cardano-trace-ltl +## 1.2.1 -- May 2026 + +* Replace positional `FILE` and `FILES` arguments in `cardano-recon` with named `--formulas` and `--traces` options. + ## 1.2.0 -- May 2026 * Add `ContinuousFormula` — the temporal-operator-free fragment of `Formula`, with `retract` for diff --git a/bench/cardano-recon-framework/cardano-recon-framework.cabal b/bench/cardano-recon-framework/cardano-recon-framework.cabal index 247a49efdf1..a5e74a2e350 100644 --- a/bench/cardano-recon-framework/cardano-recon-framework.cabal +++ b/bench/cardano-recon-framework/cardano-recon-framework.cabal @@ -4,7 +4,7 @@ description: Cardano Re(altime) Con(formance) Framework based on Linear T category: Cardano Testing copyright: 2026 Intersect. -version: 1.2.0 +version: 1.2.1 license: Apache-2.0 license-files: LICENSE NOTICE From a48de879c1bbcbb66c639f706e3e240efa793f40 Mon Sep 17 00:00:00 2001 From: Russoul Date: Fri, 29 May 2026 13:27:13 +0400 Subject: [PATCH 3/3] cardano-recon: improve --timeunit help message --- bench/cardano-recon-framework/README.md | 4 +++- bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/bench/cardano-recon-framework/README.md b/bench/cardano-recon-framework/README.md index 75661c27010..2aea90828e8 100644 --- a/bench/cardano-recon-framework/README.md +++ b/bench/cardano-recon-framework/README.md @@ -43,7 +43,9 @@ Available options: --seek-to-end BOOL seek to the end of the trace file before ingesting it (default: True) --timeunit - timeunit (default: second) + unit in which numeric arguments of temporal + operators in input formulas are measured + (default: second) --on-missing-key behaviour when a formula atom references a missing event property key (default: bottom) diff --git a/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs b/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs index c34b0896579..5d5a8697d7b 100644 --- a/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs +++ b/bench/cardano-recon-framework/app/Cardano/ReCon/Cli.hs @@ -77,7 +77,7 @@ parseTimeunit = option readTimeunit $ <> metavar "" <> showDefault <> value Second - <> help "timeunit" + <> help "unit in which numeric arguments of temporal operators in input formulas are measured" parseEventDuration :: Parser Word parseEventDuration = option auto (long "duration" <> metavar "INT" <> help "temporal event duration (μs)")