From 11b75c88a39affac7868aa5fa7bbfddcc682e763 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Thu, 6 Jun 2024 16:00:44 +0200 Subject: [PATCH] update snapshot --- .../src/snapshots/toolchain__side-effects into-ssprove.snap | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/test-harness/src/snapshots/toolchain__side-effects into-ssprove.snap b/test-harness/src/snapshots/toolchain__side-effects into-ssprove.snap index b2979b525..53b80eeeb 100644 --- a/test-harness/src/snapshots/toolchain__side-effects into-ssprove.snap +++ b/test-harness/src/snapshots/toolchain__side-effects into-ssprove.snap @@ -1,6 +1,5 @@ --- source: test-harness/src/harness.rs -assertion_line: 214 expression: snapshot info: kind: @@ -117,7 +116,7 @@ Equations local_mutation {L1 : {fset Location}} {I1 : Interface} (x : both L1 I1 letb hoist12 := f_into_iter hoist11 in letb _ := foldi_both_list hoist12 (fun i => ssp (fun _ => - assign todo(term) : (both (*1*)(L1:|:fset [y_loc]) (I1) 'unit))) (ret_both (tt : 'unit)) in + assign todo(term) : (both (*0*)(L1:|:fset []) (I1) 'unit))) (ret_both (tt : 'unit)) in impl__u32__wrapping_add x y else letb hoist15 := matchb x with | 12 =>