| commit | 4189729cef824fd8f0aa41c531fabae3ee5f7bf7 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 20 May 2024 21:09:10 +0000 (20 23:09 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sat, 25 May 2024 13:04:53 +0000 (25 15:04 +0200) | ||
| tree | cd2cbeff95f48c278200479de511ee1be9d6cd9a | treesnapshot (tar.gz zip) |
| parent | faf5f9f1dc09d3c5f9aa992f1218626e4b641691 | commitdiff |
add some isl_basic_set_gist tests
The function isl_basic_set_gist currently does not support
existentially quantified variables in the input set,
but it does in some cases support existentially quantified variables
in the context. Add some test cases to ensure that this continues
to be supported.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
The function isl_basic_set_gist currently does not support
existentially quantified variables in the input set,
but it does in some cases support existentially quantified variables
in the context. Add some test cases to ensure that this continues
to be supported.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_test2.cc | diffblobblamehistory |