| commit | 5404c9734dbea3a28b24d003b9869c7e99aec6a9 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 30 Jul 2024 20:15:55 +0000 (30 22:15 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 4 Aug 2024 16:23:27 +0000 (4 18:23 +0200) | ||
| tree | 4f3ed8cf846b5381121ed9b969e0c317d85eb450 | treesnapshot (tar.gz zip) |
| parent | a4a1fae3d1f900634919736e16e06fa055fa67b3 | commitdiff |
evalue.c: esum_over_domain_cst: pass down options to barvinok_enumerate_e
This makes sure the user specified options are not silently ignored and
replaced by default options.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This makes sure the user specified options are not silently ignored and
replaced by default options.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| evalue.c | diffblobblamehistory |