Commit 3401447d authored by David Bühler's avatar David Bühler
Browse files

Merge branch 'fix/eva/trace-partitionning-stack-overflow' into 'master'

[Eva] Bug fix in the "smashed" function of

See merge request frama-c/frama-c!3910
parents f1473537 3b427eb0
......@@ -117,7 +117,9 @@ struct
let smashed (s : store) : state Lattice_bounds.or_bottom =
match expanded s with
| [] -> `Bottom
| (_k, v1) :: l -> `Value (List.fold_left Domain.join v1 ( snd l))
| (_k, v1) :: l ->
let f acc (_k, v) = Domain.join acc v in
`Value (List.fold_left f v1 l)
let contents (flow : flow) : state list =
Flow.to_list flow
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment