src/plugins/value/engine/compute_functions.ml · 6b5a09477641dd1aa9600d73e7a1aee6e45d664c · pub / frama-c

4 years ago

David Bühler authored 4 years ago

- Removes the [recursion] boolean field from [call] type.
- Functions in [compute_function] takes a [recursion option] in argument.

6b5a0947

David Bühler authored 4 years ago

- Removes the [recursion] boolean field from [call] type.
- Functions in [compute_function] takes a [recursion option] in argument.

compute_functions.ml 16.29 KiB