Update coverage results for new behaviour

UQ-PAC · Feb 22, 2024 · 63076c7 · 63076c7
1 parent 9426a52
commit 63076c7
Show file tree

Hide file tree

Showing 4 changed files with 3,679 additions and 3,679 deletions.
diff --git a/libASL/transforms.ml b/libASL/transforms.ml
@@ -671,17 +671,17 @@ module StatefulIntToBits = struct
           let (n,w) = force_signed (bv_of_int_expr vars n) in
           expr_prim' "asr_bits" [size; expr_of_abs w] [x;sym_expr n]
 
-      | e -> e in
-    ChangeDoChildrenPost(e', fun e -> e)
+      | e -> e
+      in
+      ChangeDoChildrenPost(e', fun e -> e)
   end
 
   (** Cleanup pass to remove wrapper and introduce necessary bit->int conversions *)
   class cleanup (vars) = object (self)
     inherit Asl_visitor.nopAslVisitor
     method! vexpr e =
       match e with
-      | Expr_TApply (f, [], [e]) when f = wrapper_ident ->
-          ChangeTo e
+      | Expr_TApply (f, [], [e]) when f = wrapper_ident -> ChangeTo e
       | Expr_Var v ->
           (match Bindings.find_opt v vars with
           | Some w ->