add some missing tests for invalid input
[platform/upstream/isl.git] / isl_gmp.c
2008-08-07 Sven VerdoolaegeInitial version of the integer set library