src/plugins/value/partitioning/partition.ml · 92375f4b092a63238f5132ee0b41b51a847c1427 · pub / frama-c

5 years ago

[Eva] Computes the maximum subdivision number in transfer_stmt. · 92375f4b

David Bühler authored 5 years ago

Prerequisite for new options or annotations to configure more finely
the subdivisions.
In partition.ml, the subdivisions are disabled.
Other files always use the default value of subdivisions.

92375f4b

History

[Eva] Computes the maximum subdivision number in transfer_stmt.

David Bühler authored 5 years ago

Prerequisite for new options or annotations to configure more finely
the subdivisions.
In partition.ml, the subdivisions are disabled.
Other files always use the default value of subdivisions.