| commit | 089554b0596601a82807b25d44016d84de31ae16 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 26 Oct 2016 08:43:35 +0000 (26 10:43 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 5 Jan 2017 10:47:08 +0000 (5 11:47 +0100) | ||
| tree | d3f11d2e96e31d81ae18112b565640eb017ca584 | treesnapshot (tar.gz zip) |
| parent | 6848621387cde35223743590fd50acb0b657b3b8 | commitdiff |
barvinok_enumerate_e: only honor --scarf option if there are 2 existentials
The called functions will fail if the number of existentially quantified
variables is different from 2.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The called functions will fail if the number of existentially quantified
variables is different from 2.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| barvinok_enumerate_e.cc | diffblobblamehistory |