From 88ed434cef0600d774043ddd0aff2d5c883a32cf Mon Sep 17 00:00:00 2001 From: edenfrenkel Date: Mon, 24 Jul 2023 15:02:07 +0300 Subject: [PATCH] Rename `--custom-prefix` to `--custom--quant` Signed-off-by: edenfrenkel --- README.md | 2 +- temporal-verifier/src/command.rs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 84704d07..33725b43 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ cargo run -- infer qalpha temporal-verifier/examples/lockserver.fly --max-exist env RUST_LOG=info cargo run --release -- \ infer qalpha temporal-verifier/examples/consensus_epr.fly --time \ - --custom-prefix --sort quorum --sort node --sort value \ + --custom-quant --sort quorum --sort node --sort value \ --max-exist 1 --abort-unsafe --until-safe --minimal-smt \ --extend-depth 1 --extend-width 10 # note: this last example takes several minutes to run diff --git a/temporal-verifier/src/command.rs b/temporal-verifier/src/command.rs index 1b23bd5e..c237da32 100644 --- a/temporal-verifier/src/command.rs +++ b/temporal-verifier/src/command.rs @@ -84,7 +84,7 @@ struct QuantifierConfigArgs { #[arg(long)] /// Use a custom prefix, given either by the sort ordering (via `--sort`) or by exact quantifiers (via `--quantifier`). /// Otherwise, use the sort ordering found in the loaded module - custom_prefix: bool, + custom_quant: bool, #[arg(short, long)] /// Sorts in the order they should appear in the quantifier prefix @@ -100,7 +100,7 @@ impl QuantifierConfigArgs { let mut quantifiers; let mut sorts: Vec; let mut counts: Vec; - if !self.custom_prefix { + if !self.custom_quant { sorts = (0..sig.sorts.len()).collect(); quantifiers = vec![None; sorts.len()]; counts = vec![fixpoint::defaults::MAX_SAME_SORT; sorts.len()];