util.c: manual_count: use isl_val

[barvinok.git] / tests / iscc / sum4

r := sum { [x] -> 1 };
assert(r == { NaN });