Skip to content

Commit

Permalink
update snapshot
Browse files Browse the repository at this point in the history
  • Loading branch information
W95Psp committed Jun 13, 2024
1 parent 93364b8 commit 6cab1d2
Showing 1 changed file with 1 addition and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
---
source: test-harness/src/harness.rs
assertion_line: 214
expression: snapshot
info:
kind:
Expand Down Expand Up @@ -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 =>
Expand Down

0 comments on commit 6cab1d2

Please sign in to comment.