diff --git a/inference/src/fixpoint.rs b/inference/src/fixpoint.rs index ef55f8e2..f764b616 100644 --- a/inference/src/fixpoint.rs +++ b/inference/src/fixpoint.rs @@ -210,7 +210,7 @@ pub fn qalpha( } println!(); - println!("({iteration}) Running aqlpha algorithm..."); + println!("({iteration}) Running qalpha algorithm..."); println!( "Approximate domain size: 10^{:.2} ({domain_size})", (domain_size as f64).log10() diff --git a/temporal-verifier/examples/snapshots/lockserver.fly.infer-cvc5.2.snap b/temporal-verifier/examples/snapshots/lockserver.fly.infer-cvc5.2.snap index af2071d3..91caab4f 100644 --- a/temporal-verifier/examples/snapshots/lockserver.fly.infer-cvc5.2.snap +++ b/temporal-verifier/examples/snapshots/lockserver.fly.infer-cvc5.2.snap @@ -5,7 +5,7 @@ expression: combined_stdout_stderr --- Number of individual domains: 23 -(1) Running aqlpha algorithm... +(1) Running qalpha algorithm... Approximate domain size: 10^2.12 (131) Prefixes: forall node_1 --- 5 atoms --- pDNF { cubes: 3, cube_size: 0, non_unit: 0 } ~ 131 @@ -13,7 +13,7 @@ Fixpoint UNSAFE! Fixpoint size = 0 Covers 0 / 9 of handwritten invariant. -(2) Running aqlpha algorithm... +(2) Running qalpha algorithm... Approximate domain size: 10^3.15 (1404) Prefixes: forall node_1 --- 5 atoms --- pDNF { cubes: 5, cube_size: 0, non_unit: 0 } ~ 243 diff --git a/temporal-verifier/examples/snapshots/lockserver.fly.infer-z3.1.snap b/temporal-verifier/examples/snapshots/lockserver.fly.infer-z3.1.snap index d9cb21ec..86e62867 100644 --- a/temporal-verifier/examples/snapshots/lockserver.fly.infer-z3.1.snap +++ b/temporal-verifier/examples/snapshots/lockserver.fly.infer-z3.1.snap @@ -5,7 +5,7 @@ expression: combined_stdout_stderr --- Number of individual domains: 23 -(1) Running aqlpha algorithm... +(1) Running qalpha algorithm... Approximate domain size: 10^2.12 (131) Prefixes: forall node_1 --- 5 atoms --- pDNF { cubes: 3, cube_size: 0, non_unit: 0 } ~ 131 @@ -13,7 +13,7 @@ Fixpoint UNSAFE! Fixpoint size = 0 Covers 0 / 9 of handwritten invariant. -(2) Running aqlpha algorithm... +(2) Running qalpha algorithm... Approximate domain size: 10^3.15 (1404) Prefixes: forall node_1 --- 5 atoms --- pDNF { cubes: 5, cube_size: 0, non_unit: 0 } ~ 243