Use List.concat_map in EvalAssert

sim642 · sim642 · commit b9e390598e3c · 2024-01-23T17:30:23.000+02:00
diff --git a/src/transform/evalAssert.ml b/src/transform/evalAssert.ml
@@ -119,7 +119,7 @@ module EvalAssert = struct
           s
         | If (e, b1, b2, l,l2) ->
           let vars = Basetype.CilExp.get_vars e in
-          let asserts ~node loc vs = if full then make_assert ~node loc None else List.map (fun x -> make_assert ~node loc (Some (Var x,NoOffset))) vs |> List.concat in
+          let asserts ~node loc vs = if full then make_assert ~node loc None else List.concat_map (fun x -> make_assert ~node loc (Some (Var x,NoOffset))) vs in
           let add_asserts block =
             if block.bstmts <> [] then
               let with_asserts =

Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@ module EvalAssert = struct`
`119`	`119`	`s`
`120`	`120`	`\| If (e, b1, b2, l,l2) ->`
`121`	`121`	`let vars = Basetype.CilExp.get_vars e in`
`122`		`- let asserts ~node loc vs = if full then make_assert ~node loc None else List.map (fun x -> make_assert ~node loc (Some (Var x,NoOffset))) vs \|> List.concat in`
	`122`	`+ let asserts ~node loc vs = if full then make_assert ~node loc None else List.concat_map (fun x -> make_assert ~node loc (Some (Var x,NoOffset))) vs in`
`123`	`123`	`let add_asserts block =`
`124`	`124`	`if block.bstmts <> [] then`
`125`	`125`	`let with_asserts =`