Rename vector -> vectorsize in relational tests

Author: sim642

…sion/36-apron/56-vector-eager-downsize.c …/36-apron/56-vectorsize-eager-downsize.ctests/regression/36-apron/56-vector-eager-downsize.c renamed to tests/regression/36-apron/56-vectorsize-eager-downsize.c tests/regression/36-apron/56-vector-eager-downsize.c renamed to tests/regression/36-apron/56-vectorsize-eager-downsize.c

@@ -94,9 +94,9 @@ int main() {
   capacity = 1;
   assert(used >= 0);
   assert(capacity >= 1);
-  assert(capacity <= MAX_CAPACITY); // TODO
+  assert(capacity <= MAX_CAPACITY);
   assert(used <= capacity);
-  assert(used >= capacity - used - 1); // TODO: 2 * used >= capacity - 1, but without overflow in *
+  assert(used >= capacity - used - 1); // 2 * used >= capacity - 1, but without overflow in *
 
   pthread_t worker1;
   pthread_t worker2;