Fix typo and snapshots

Signed-off-by: edenfrenkel <[email protected]>
flyvy-verifier · Jul 26, 2023 · e9a324a · e9a324a
1 parent b63353f
commit e9a324a
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/inference/src/fixpoint.rs b/inference/src/fixpoint.rs
@@ -210,7 +210,7 @@ pub fn qalpha<O, L, B>(
         }
 
         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
@@ -5,15 +5,15 @@ 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
 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
@@ -5,15 +5,15 @@ 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
 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