evalue.c: esum_over_domain: take barvinok_options
commite35ed171bd0e79cec60699e29f906d0995e3bd71
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 30 Jul 2024 20:12:30 +0000 (30 22:12 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 4 Aug 2024 16:23:27 +0000 (4 18:23 +0200)
treefc1259eae6f231afbbe01c2060cdac1e5954259e
parentfa07adfeaae2001db5693f68e08f36358b1692dd
evalue.c: esum_over_domain: take barvinok_options

This allows box_summate to pass down all options,
which can then be further passed down to esum_over_domain_cst
in the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
evalue.c