static char *srcdir;
+void test_read(struct isl_ctx *ctx)
+{
+ char filename[PATH_MAX];
+ FILE *input;
+ int n;
+ struct isl_basic_set *bset1, *bset2;
+ const char *str = "{[y]: Exists ( alpha : 2alpha = y)}";
+
+ n = snprintf(filename, sizeof(filename),
+ "%s/test_inputs/set.omega", srcdir);
+ assert(n < sizeof(filename));
+ input = fopen(filename, "r");
+ assert(input);
+
+ bset1 = isl_basic_set_read_from_file(ctx, input, 0, ISL_FORMAT_OMEGA);
+ bset2 = isl_basic_set_read_from_str(ctx, str, 0, ISL_FORMAT_OMEGA);
+
+ assert(isl_basic_set_is_equal(bset1, bset2) == 1);
+
+ isl_basic_set_free(bset1);
+ isl_basic_set_free(bset2);
+
+ fclose(input);
+}
+
/* Construct the basic set { [i] : 5 <= i <= N } */
void test_construction(struct isl_ctx *ctx)
{
isl_int v;
+ struct isl_dim *dim;
struct isl_basic_set *bset;
struct isl_constraint *c;
isl_int_init(v);
- bset = isl_basic_set_universe(ctx, 1, 1);
+ dim = isl_dim_set_alloc(ctx, 1, 1);
+ bset = isl_basic_set_universe(dim);
c = isl_inequality_alloc(isl_dim_copy(bset->dim));
isl_int_set_si(v, -1);
srcdir = getenv("srcdir");
ctx = isl_ctx_alloc();
+ test_read(ctx);
test_construction(ctx);
test_application(ctx);
test_affine_hull(ctx);