Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Convert the unit tests of xbt::dynar to Catch2
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 31 Jan 2019 08:52:56 +0000 (09:52 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 31 Jan 2019 08:56:21 +0000 (09:56 +0100)
src/xbt/dynar.cpp
src/xbt/dynar_test.cpp [new file with mode: 0644]
tools/cmake/Tests.cmake
tools/cmake/UnitTesting.cmake

index 9b834d4..1bd60bb 100644 (file)
@@ -677,435 +677,3 @@ int xbt_dynar_compare(xbt_dynar_t d1, xbt_dynar_t d2, int (*compar)(const void*,
   xbt_dynar_free(&d2);
   return 0;
 }
-
-#ifdef SIMGRID_TEST
-
-#define NB_ELEM 5000
-
-XBT_TEST_SUITE("dynar", "Dynar data container");
-XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(xbt_dyn);
-
-XBT_TEST_UNIT("int", test_dynar_int, "Dynars of integers")
-{
-  /* Vars_decl [doxygen cruft] */
-  int i;
-  unsigned int cursor;
-
-  xbt_test_add("==== Traverse the empty dynar");
-  xbt_dynar_t d = xbt_dynar_new(sizeof(int), nullptr);
-  xbt_dynar_foreach(d, cursor, i) {
-    xbt_die( "Damnit, there is something in the empty dynar");
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push %d int, set them again 3 times, traverse them, shift them", NB_ELEM);
-  /* Populate_ints [doxygen cruft] */
-  /* 1. Populate the dynar */
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_push_as(d, int, cpt);     /* This is faster (and possible only with scalars) */
-    /* xbt_dynar_push(d,&cpt);       This would also work */
-    xbt_test_log("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-
-  /* 2. Traverse manually the dynar */
-  for (cursor = 0; cursor < NB_ELEM; cursor++) {
-    int* iptr = (int*)xbt_dynar_get_ptr(d, cursor);
-    xbt_test_assert(cursor == (unsigned int)*iptr, "The retrieved value is not the same than the injected one (%u!=%d)",
-                    cursor, *iptr);
-  }
-
-  /* 3. Traverse the dynar using the neat macro to that extend */
-  int cpt;
-  xbt_dynar_foreach(d, cursor, cpt) {
-    xbt_test_assert(cursor == (unsigned int) cpt, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-  }
-  /* end_of_traversal */
-
-  for (int cpt = 0; cpt < NB_ELEM; cpt++)
-    *(int *) xbt_dynar_get_ptr(d, cpt) = cpt;
-
-  for (int cpt = 0; cpt < NB_ELEM; cpt++)
-    *(int *) xbt_dynar_get_ptr(d, cpt) = cpt;
-
-  for (int cpt = 0; cpt < NB_ELEM; cpt++)
-    *(int *) xbt_dynar_get_ptr(d, cpt) = cpt;
-
-  cpt = 0;
-  xbt_dynar_foreach(d, cursor, i) {
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one (%d!=%d)", i, cpt);
-    cpt++;
-  }
-  xbt_test_assert(cpt == NB_ELEM, "Cannot retrieve my %d values. Last got one is %d", NB_ELEM, cpt);
-
-  /* shifting [doxygen cruft] */
-  /* 4. Shift all the values */
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_shift(d, &i);
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one (%d!=%d)", i, cpt);
-    xbt_test_log("Pop %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-
-  int* pi;
-  xbt_dynar_foreach_ptr(d, cursor, pi) {
-    *pi = 0;
-  }
-  xbt_dynar_foreach(d, cursor, i) {
-    xbt_test_assert(i == 0, "The value is not the same as the expected one.");
-  }
-  xbt_dynar_foreach_ptr(d, cursor, pi) {
-    *pi = 1;
-  }
-  xbt_dynar_foreach(d, cursor, i) {
-    xbt_test_assert(i == 1, "The value is not the same as the expected one.");
-  }
-
-  /* 5. Free the resources */
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Unshift/pop %d int", NB_ELEM);
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_unshift(d, &cpt);
-    XBT_DEBUG("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    i = xbt_dynar_pop_as(d, int);
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one (%d!=%d)", i, cpt);
-    xbt_test_log("Pop %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add ("==== Push %d int, insert 1000 int in the middle, shift everything", NB_ELEM);
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  for (cpt = 0; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_push_as(d, int, cpt);
-    XBT_DEBUG("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  for (cpt = 0; cpt < NB_ELEM/5; cpt++) {
-    xbt_dynar_insert_at_as(d, NB_ELEM/2, int, cpt);
-    XBT_DEBUG("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-
-  for (cpt = 0; cpt < NB_ELEM/2; cpt++) {
-    xbt_dynar_shift(d, &i);
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one at the begining (%d!=%d)",
-                     i, cpt);
-    XBT_DEBUG("Pop %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  for (cpt = 999; cpt >= 0; cpt--) {
-    xbt_dynar_shift(d, &i);
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one in the middle (%d!=%d)",
-                     i, cpt);
-  }
-  for (cpt = 2500; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_shift(d, &i);
-    xbt_test_assert(i == cpt, "The retrieved value is not the same than the injected one at the end (%d!=%d)", i, cpt);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push %d int, remove 2000-4000. free the rest", NB_ELEM);
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  for (cpt = 0; cpt < NB_ELEM; cpt++)
-    xbt_dynar_push_as(d, int, cpt);
-
-  for (cpt = 2000; cpt < 4000; cpt++) {
-    xbt_dynar_remove_at(d, 2000, &i);
-    xbt_test_assert(i == cpt, "Remove a bad value. Got %d, expected %d", i, cpt);
-    XBT_DEBUG("remove %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-}
-
-/*******************************************************************************/
-XBT_TEST_UNIT("insert",test_dynar_insert,"Using the xbt_dynar_insert and xbt_dynar_remove functions")
-{
-  xbt_dynar_t d = xbt_dynar_new(sizeof(unsigned int), nullptr);
-  unsigned int cursor;
-
-  xbt_test_add("==== Insert %d int, traverse them, remove them",NB_ELEM);
-  /* Populate_ints [doxygen cruft] */
-  /* 1. Populate the dynar */
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    xbt_dynar_insert_at(d, cpt, &cpt);
-    xbt_test_log("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-
-  /* 3. Traverse the dynar */
-  int cpt;
-  xbt_dynar_foreach(d, cursor, cpt) {
-    xbt_test_assert(cursor == (unsigned int) cpt, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-  }
-  /* end_of_traversal */
-
-  /* Re-fill with the same values using set_as (and re-verify) */
-  for (int cpt = 0; cpt < NB_ELEM; cpt++)
-    xbt_dynar_set_as(d, cpt, int, cpt);
-  xbt_dynar_foreach(d, cursor, cpt)
-    xbt_test_assert(cursor == (unsigned int) cpt, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    int val;
-    xbt_dynar_remove_at(d,0,&val);
-    xbt_test_assert(cpt == val, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-  }
-  xbt_test_assert(xbt_dynar_is_empty(d), "There is still %lu elements in the dynar after removing everything",
-                   xbt_dynar_length(d));
-  xbt_dynar_free(&d);
-
-  /* ********************* */
-  xbt_test_add("==== Insert %d int in reverse order, traverse them, remove them",NB_ELEM);
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  for (int cpt = NB_ELEM - 1; cpt >= 0; cpt--) {
-    xbt_dynar_replace(d, cpt, &cpt);
-    xbt_test_log("Push %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-
-  /* 3. Traverse the dynar */
-  xbt_dynar_foreach(d, cursor, cpt) {
-    xbt_test_assert(cursor == (unsigned) cpt, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-  }
-  /* end_of_traversal */
-
-  for (cpt =NB_ELEM-1; cpt >=0; cpt--) {
-    int val;
-    xbt_dynar_remove_at(d,xbt_dynar_length(d)-1,&val);
-    xbt_test_assert(cpt == val, "The retrieved value is not the same than the injected one (%u!=%d)", cursor, cpt);
-  }
-  xbt_test_assert(xbt_dynar_is_empty(d), "There is still %lu elements in the dynar after removing everything",
-                   xbt_dynar_length(d));
-  xbt_dynar_free(&d);
-}
-
-/*******************************************************************************/
-XBT_TEST_UNIT("double", test_dynar_double, "Dynars of doubles")
-{
-  xbt_dynar_t d;
-  int cpt;
-  unsigned int cursor;
-  double d1, d2;
-
-  xbt_test_add("==== Traverse the empty dynar");
-  d = xbt_dynar_new(sizeof(int), nullptr);
-  xbt_dynar_foreach(d, cursor, cpt) {
-    xbt_test_assert(false, "Damnit, there is something in the empty dynar");
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push/shift 5000 doubles");
-  d = xbt_dynar_new(sizeof(double), nullptr);
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_push(d, &d1);
-  }
-  xbt_dynar_foreach(d, cursor, d2) {
-    d1 = (double) cursor;
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one (%f!=%f)", d1, d2);
-  }
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_shift(d, &d2);
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one (%f!=%f)", d1, d2);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Unshift/pop 5000 doubles");
-  d = xbt_dynar_new(sizeof(double), nullptr);
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_unshift(d, &d1);
-  }
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_pop(d, &d2);
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one (%f!=%f)", d1, d2);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push 5000 doubles, insert 1000 doubles in the middle, shift everything");
-  d = xbt_dynar_new(sizeof(double), nullptr);
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_push(d, &d1);
-  }
-  for (cpt = 0; cpt < 1000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_insert_at(d, 2500, &d1);
-  }
-
-  for (cpt = 0; cpt < 2500; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_shift(d, &d2);
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one at the begining (%f!=%f)",
-                     d1, d2);
-    XBT_DEBUG("Pop %d, length=%lu", cpt, xbt_dynar_length(d));
-  }
-  for (cpt = 999; cpt >= 0; cpt--) {
-    d1 = (double) cpt;
-    xbt_dynar_shift(d, &d2);
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one in the middle (%f!=%f)",
-                     d1, d2);
-  }
-  for (cpt = 2500; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_shift(d, &d2);
-    xbt_test_assert(d1 == d2, "The retrieved value is not the same than the injected one at the end (%f!=%f)", d1, d2);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push 5000 double, remove 2000-4000. free the rest");
-  d = xbt_dynar_new(sizeof(double), nullptr);
-  for (cpt = 0; cpt < 5000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_push(d, &d1);
-  }
-  for (cpt = 2000; cpt < 4000; cpt++) {
-    d1 = (double) cpt;
-    xbt_dynar_remove_at(d, 2000, &d2);
-    xbt_test_assert(d1 == d2, "Remove a bad value. Got %f, expected %f", d2, d1);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-}
-
-/* doxygen_string_cruft */
-
-/*******************************************************************************/
-XBT_TEST_UNIT("string", test_dynar_string, "Dynars of strings")
-{
-  unsigned int iter;
-  char buf[1024];
-  char *s1, *s2;
-
-  xbt_test_add("==== Traverse the empty dynar");
-  xbt_dynar_t d = xbt_dynar_new(sizeof(char*), &xbt_free_ref);
-  xbt_dynar_foreach(d, iter, s1) {
-    xbt_test_assert(false, "Damnit, there is something in the empty dynar");
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push %d strings, set them again 3 times, shift them", NB_ELEM);
-  /* Populate_str [doxygen cruft] */
-  d = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
-  /* 1. Populate the dynar */
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    s1 = xbt_strdup(buf);
-    xbt_dynar_push(d, &s1);
-  }
-  for (int i = 0 ; i < 3 ; i++) {
-    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-      snprintf(buf,1023, "%d", cpt);
-      s1 = xbt_strdup(buf);
-      xbt_dynar_replace(d, cpt, &s1);
-    }
-  }
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_shift(d, &s2);
-    xbt_test_assert(not strcmp(buf, s2), "The retrieved value is not the same than the injected one (%s!=%s)", buf, s2);
-    xbt_free(s2);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Unshift, traverse and pop %d strings", NB_ELEM);
-  d = xbt_dynar_new(sizeof(char **), &xbt_free_ref);
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    s1 = xbt_strdup(buf);
-    xbt_dynar_unshift(d, &s1);
-  }
-  /* 2. Traverse the dynar with the macro */
-  xbt_dynar_foreach(d, iter, s1) {
-    snprintf(buf,1023, "%u", NB_ELEM - iter - 1);
-    xbt_test_assert(not strcmp(buf, s1), "The retrieved value is not the same than the injected one (%s!=%s)", buf, s1);
-  }
-  /* 3. Traverse the dynar with the macro */
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_pop(d, &s2);
-    xbt_test_assert(not strcmp(buf, s2), "The retrieved value is not the same than the injected one (%s!=%s)", buf, s2);
-    xbt_free(s2);
-  }
-  /* 4. Free the resources */
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push %d strings, insert %d strings in the middle, shift everything", NB_ELEM, NB_ELEM / 5);
-  d = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    s1 = xbt_strdup(buf);
-    xbt_dynar_push(d, &s1);
-  }
-  for (int cpt = 0; cpt < NB_ELEM / 5; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    s1 = xbt_strdup(buf);
-    xbt_dynar_insert_at(d, NB_ELEM / 2, &s1);
-  }
-
-  for (int cpt = 0; cpt < NB_ELEM / 2; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_shift(d, &s2);
-    xbt_test_assert(not strcmp(buf, s2),
-                    "The retrieved value is not the same than the injected one at the begining (%s!=%s)", buf, s2);
-    xbt_free(s2);
-  }
-  for (int cpt = (NB_ELEM / 5) - 1; cpt >= 0; cpt--) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_shift(d, &s2);
-    xbt_test_assert(not strcmp(buf, s2),
-                    "The retrieved value is not the same than the injected one in the middle (%s!=%s)", buf, s2);
-    xbt_free(s2);
-  }
-  for (int cpt = NB_ELEM / 2; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_shift(d, &s2);
-    xbt_test_assert(not strcmp(buf, s2),
-                    "The retrieved value is not the same than the injected one at the end (%s!=%s)", buf, s2);
-    xbt_free(s2);
-  }
-  xbt_dynar_free(&d);           /* This code is used both as example and as regression test, so we try to */
-  xbt_dynar_free(&d);           /* free the struct twice here to check that it's ok, but freeing  it only once */
-  /* in your code is naturally the way to go outside a regression test */
-
-  xbt_test_add("==== Push %d strings, remove %d-%d. free the rest", NB_ELEM, 2 * (NB_ELEM / 5), 4 * (NB_ELEM / 5));
-  d = xbt_dynar_new(sizeof(char *), &xbt_free_ref);
-  for (int cpt = 0; cpt < NB_ELEM; cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    s1 = xbt_strdup(buf);
-    xbt_dynar_push(d, &s1);
-  }
-  for (int cpt = 2 * (NB_ELEM / 5); cpt < 4 * (NB_ELEM / 5); cpt++) {
-    snprintf(buf,1023, "%d", cpt);
-    xbt_dynar_remove_at(d, 2 * (NB_ELEM / 5), &s2);
-    xbt_test_assert(not strcmp(buf, s2), "Remove a bad value. Got %s, expected %s", s2, buf);
-    xbt_free(s2);
-  }
-  xbt_dynar_free(&d);           /* end_of_doxygen */
-}
-#endif                          /* SIMGRID_TEST */
diff --git a/src/xbt/dynar_test.cpp b/src/xbt/dynar_test.cpp
new file mode 100644 (file)
index 0000000..808f9d0
--- /dev/null
@@ -0,0 +1,420 @@
+/* a generic DYNamic ARray implementation.                                  */
+
+/* Copyright (c) 2004-2019. The SimGrid Team. All rights reserved.          */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#include "simgrid/Exception.hpp"
+#include "xbt/dynar.h"
+#include "xbt/ex.h"
+#include "xbt/log.h"
+#include "xbt/misc.h"
+#include "xbt/sysdep.h"
+#include <sys/types.h>
+
+#include "src/include/catch.hpp"
+
+#define NB_ELEM 5000
+
+TEST_CASE("xbt::dynar: generic C vector", "dynar")
+{
+
+  SECTION("Dynars of integers")
+  {
+    /* Vars_decl [doxygen cruft] */
+    int i;
+    unsigned int cursor;
+
+    INFO("==== Traverse the empty dynar");
+    xbt_dynar_t d = xbt_dynar_new(sizeof(int), nullptr);
+    xbt_dynar_foreach (d, cursor, i) {
+      xbt_die("Damnit, there is something in the empty dynar");
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << " int, set them again 3 times, traverse them, shift them");
+    /* Populate_ints [doxygen cruft] */
+    /* 1. Populate the dynar */
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_push_as(d, int, cpt); /* This is faster (and possible only with scalars) */
+      /* xbt_dynar_push(d,&cpt);       This would also work */
+    }
+
+    /* 2. Traverse manually the dynar */
+    for (cursor = 0; cursor < NB_ELEM; cursor++) {
+      int* iptr = (int*)xbt_dynar_get_ptr(d, cursor);
+      REQUIRE(cursor == (unsigned int)*iptr); // The retrieved value is not the same than the injected one
+    }
+
+    /* 3. Traverse the dynar using the neat macro to that extend */
+    int cpt;
+    xbt_dynar_foreach (d, cursor, cpt) {
+      REQUIRE(cursor == (unsigned int)cpt); // The retrieved value is not the same than the injected one
+    }
+    /* end_of_traversal */
+
+    for (int cpt = 0; cpt < NB_ELEM; cpt++)
+      *(int*)xbt_dynar_get_ptr(d, cpt) = cpt;
+
+    for (int cpt = 0; cpt < NB_ELEM; cpt++)
+      *(int*)xbt_dynar_get_ptr(d, cpt) = cpt;
+
+    for (int cpt = 0; cpt < NB_ELEM; cpt++)
+      *(int*)xbt_dynar_get_ptr(d, cpt) = cpt;
+
+    cpt = 0;
+    xbt_dynar_foreach (d, cursor, i) {
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one
+      cpt++;
+    }
+    REQUIRE(cpt == NB_ELEM); // Cannot retrieve all my values. cpt is the last one I got
+
+    /* shifting [doxygen cruft] */
+    /* 4. Shift all the values */
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_shift(d, &i);
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one
+    }
+
+    int* pi;
+    xbt_dynar_foreach_ptr(d, cursor, pi) { *pi = 0; }
+    xbt_dynar_foreach (d, cursor, i) {
+      REQUIRE(i == 0); // The value is not the same as the expected one.
+    }
+    xbt_dynar_foreach_ptr(d, cursor, pi) { *pi = 1; }
+    xbt_dynar_foreach (d, cursor, i) {
+      REQUIRE(i == 1); // The value is not the same as the expected one
+    }
+
+    /* 5. Free the resources */
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Unshift/pop " << NB_ELEM << " int");
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_unshift(d, &cpt);
+    }
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      i = xbt_dynar_pop_as(d, int);
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << "%d int, insert 1000 int in the middle, shift everything");
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    for (cpt = 0; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_push_as(d, int, cpt);
+    }
+    for (cpt = 0; cpt < NB_ELEM / 5; cpt++) {
+      xbt_dynar_insert_at_as(d, NB_ELEM / 2, int, cpt);
+    }
+
+    for (cpt = 0; cpt < NB_ELEM / 2; cpt++) {
+      xbt_dynar_shift(d, &i);
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one at the begining
+    }
+    for (cpt = 999; cpt >= 0; cpt--) {
+      xbt_dynar_shift(d, &i);
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one in the middle
+    }
+    for (cpt = 2500; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_shift(d, &i);
+      REQUIRE(i == cpt); // The retrieved value is not the same than the injected one at the end
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << " int, remove 2000-4000. free the rest");
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    for (cpt = 0; cpt < NB_ELEM; cpt++)
+      xbt_dynar_push_as(d, int, cpt);
+
+    for (cpt = 2000; cpt < 4000; cpt++) {
+      xbt_dynar_remove_at(d, 2000, &i);
+      REQUIRE(i == cpt); // Remove a bad value
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+  }
+
+  /*******************************************************************************/
+  SECTION("Using the xbt_dynar_insert and xbt_dynar_remove functions")
+  {
+    xbt_dynar_t d = xbt_dynar_new(sizeof(unsigned int), nullptr);
+    unsigned int cursor;
+
+    INFO("==== Insert " << NB_ELEM << " int, traverse them, remove them");
+    /* Populate_ints [doxygen cruft] */
+    /* 1. Populate the dynar */
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      xbt_dynar_insert_at(d, cpt, &cpt);
+    }
+
+    /* 3. Traverse the dynar */
+    int cpt;
+    xbt_dynar_foreach (d, cursor, cpt) {
+      REQUIRE(cursor == (unsigned int)cpt); // The retrieved value is not the same than the injected one
+    }
+    /* end_of_traversal */
+
+    /* Re-fill with the same values using set_as (and re-verify) */
+    for (int cpt = 0; cpt < NB_ELEM; cpt++)
+      xbt_dynar_set_as(d, cpt, int, cpt);
+    xbt_dynar_foreach (d, cursor, cpt)
+      REQUIRE(cursor == (unsigned int)cpt); // The retrieved value is not the same than the injected one
+
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      int val;
+      xbt_dynar_remove_at(d, 0, &val);
+      REQUIRE(cpt == val); // The retrieved value is not the same than the injected one
+    }
+    REQUIRE(xbt_dynar_is_empty(d));
+    xbt_dynar_free(&d);
+
+    /* ********************* */
+    INFO("==== Insert " << NB_ELEM << " int in reverse order, traverse them, remove them");
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    for (int cpt = NB_ELEM - 1; cpt >= 0; cpt--) {
+      xbt_dynar_replace(d, cpt, &cpt);
+    }
+
+    /* 3. Traverse the dynar */
+    xbt_dynar_foreach (d, cursor, cpt) {
+      REQUIRE(cursor == (unsigned)cpt); // The retrieved value is not the same than the injected one
+    }
+    /* end_of_traversal */
+
+    for (cpt = NB_ELEM - 1; cpt >= 0; cpt--) {
+      int val;
+      xbt_dynar_remove_at(d, xbt_dynar_length(d) - 1, &val);
+      REQUIRE(cpt == val); // The retrieved value is not the same than the injected one
+    }
+    REQUIRE(xbt_dynar_is_empty(d));
+    xbt_dynar_free(&d);
+  }
+
+  /*******************************************************************************/
+  SECTION("Dynars of doubles")
+  {
+    xbt_dynar_t d;
+    int cpt;
+    unsigned int cursor;
+    double d1, d2;
+
+    INFO("==== Traverse the empty dynar");
+    d = xbt_dynar_new(sizeof(int), nullptr);
+    xbt_dynar_foreach (d, cursor, cpt) {
+      REQUIRE(false); // Damnit, there is something in the empty dynar
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push/shift 5000 doubles");
+    d = xbt_dynar_new(sizeof(double), nullptr);
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_push(d, &d1);
+    }
+    xbt_dynar_foreach (d, cursor, d2) {
+      d1 = (double)cursor;
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one
+    }
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_shift(d, &d2);
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Unshift/pop 5000 doubles");
+    d = xbt_dynar_new(sizeof(double), nullptr);
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_unshift(d, &d1);
+    }
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_pop(d, &d2);
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push 5000 doubles, insert 1000 doubles in the middle, shift everything");
+    d = xbt_dynar_new(sizeof(double), nullptr);
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_push(d, &d1);
+    }
+    for (cpt = 0; cpt < 1000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_insert_at(d, 2500, &d1);
+    }
+
+    for (cpt = 0; cpt < 2500; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_shift(d, &d2);
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one at the begining
+    }
+    for (cpt = 999; cpt >= 0; cpt--) {
+      d1 = (double)cpt;
+      xbt_dynar_shift(d, &d2);
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one in the middle
+    }
+    for (cpt = 2500; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_shift(d, &d2);
+      REQUIRE(d1 == d2); // The retrieved value is not the same than the injected one at the end
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push 5000 double, remove 2000-4000. free the rest");
+    d = xbt_dynar_new(sizeof(double), nullptr);
+    for (cpt = 0; cpt < 5000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_push(d, &d1);
+    }
+    for (cpt = 2000; cpt < 4000; cpt++) {
+      d1 = (double)cpt;
+      xbt_dynar_remove_at(d, 2000, &d2);
+      REQUIRE(d1 == d2); // Remove a bad value
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+  }
+
+  /*******************************************************************************/
+  SECTION("Dynars of strings")
+  {
+    unsigned int iter;
+    char buf[1024];
+    char *s1, *s2;
+
+    INFO("==== Traverse the empty dynar");
+    xbt_dynar_t d = xbt_dynar_new(sizeof(char*), &xbt_free_ref);
+    xbt_dynar_foreach (d, iter, s1) {
+      REQUIRE(false); // Damnit, there is something in the empty dynar"
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << " strings, set them again 3 times, shift them");
+    /* Populate_str [doxygen cruft] */
+    d = xbt_dynar_new(sizeof(char*), &xbt_free_ref);
+    /* 1. Populate the dynar */
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      s1 = xbt_strdup(buf);
+      xbt_dynar_push(d, &s1);
+    }
+    for (int i = 0; i < 3; i++) {
+      for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+        snprintf(buf, 1023, "%d", cpt);
+        s1 = xbt_strdup(buf);
+        xbt_dynar_replace(d, cpt, &s1);
+      }
+    }
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_shift(d, &s2);
+      REQUIRE(not strcmp(buf, s2)); // The retrieved value is not the same than the injected one
+      xbt_free(s2);
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Unshift, traverse and pop " << NB_ELEM << " strings");
+    d = xbt_dynar_new(sizeof(char**), &xbt_free_ref);
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      s1 = xbt_strdup(buf);
+      xbt_dynar_unshift(d, &s1);
+    }
+    /* 2. Traverse the dynar with the macro */
+    xbt_dynar_foreach (d, iter, s1) {
+      snprintf(buf, 1023, "%u", NB_ELEM - iter - 1);
+      REQUIRE(not strcmp(buf, s1)); // The retrieved value is not the same than the injected one
+    }
+    /* 3. Traverse the dynar with the macro */
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_pop(d, &s2);
+      REQUIRE(not strcmp(buf, s2)); // The retrieved value is not the same than the injected one
+      xbt_free(s2);
+    }
+    /* 4. Free the resources */
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << " strings, insert " << (NB_ELEM / 5) << " strings in the middle, shift everything");
+    d = xbt_dynar_new(sizeof(char*), &xbt_free_ref);
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      s1 = xbt_strdup(buf);
+      xbt_dynar_push(d, &s1);
+    }
+    for (int cpt = 0; cpt < NB_ELEM / 5; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      s1 = xbt_strdup(buf);
+      xbt_dynar_insert_at(d, NB_ELEM / 2, &s1);
+    }
+
+    for (int cpt = 0; cpt < NB_ELEM / 2; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_shift(d, &s2);
+      REQUIRE(not strcmp(buf, s2)); // The retrieved value is not the same than the injected one at the beginning
+      xbt_free(s2);
+    }
+    for (int cpt = (NB_ELEM / 5) - 1; cpt >= 0; cpt--) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_shift(d, &s2);
+      REQUIRE(not strcmp(buf, s2)); // The retrieved value is not the same than the injected one in the middle
+      xbt_free(s2);
+    }
+    for (int cpt = NB_ELEM / 2; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_shift(d, &s2);
+      REQUIRE(not strcmp(buf, s2)); // The retrieved value is not the same than the injected one at the end
+      xbt_free(s2);
+    }
+    xbt_dynar_free(&d); /* This code is used both as example and as regression test, so we try to */
+    xbt_dynar_free(&d); /* free the struct twice here to check that it's ok, but freeing  it only once */
+    /* in your code is naturally the way to go outside a regression test */
+
+    INFO("==== Push " << NB_ELEM << " strings, remove " << (2 * NB_ELEM / 5) << "-" << (4 * NB_ELEM / 5)
+                      << ". free the rest");
+    d = xbt_dynar_new(sizeof(char*), &xbt_free_ref);
+    for (int cpt = 0; cpt < NB_ELEM; cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      s1 = xbt_strdup(buf);
+      xbt_dynar_push(d, &s1);
+    }
+    for (int cpt = 2 * (NB_ELEM / 5); cpt < 4 * (NB_ELEM / 5); cpt++) {
+      snprintf(buf, 1023, "%d", cpt);
+      xbt_dynar_remove_at(d, 2 * (NB_ELEM / 5), &s2);
+      REQUIRE(not strcmp(buf, s2)); // Remove a bad value
+      xbt_free(s2);
+    }
+    xbt_dynar_free(&d); /* end_of_doxygen */
+  }
+}
index 2433142..f99d372 100644 (file)
@@ -123,7 +123,8 @@ ENDIF()
 ADD_TEST(testall                                 ${CMAKE_BINARY_DIR}/testall)
 
 # New tests should use the Catch Framework
-set(UNIT_TESTS  src/surf/trace_mgr_test.cpp)
+set(UNIT_TESTS  src/surf/trace_mgr_test.cpp
+                src/xbt/dynar_test.cpp)
 if (SIMGRID_HAVE_MC)
   set(UNIT_TESTS ${UNIT_TESTS} src/mc/sosp/mc_snapshot_test.cpp src/mc/sosp/PageStore_test.cpp)
 else()
index 0ed71bc..a23de9d 100644 (file)
@@ -6,7 +6,6 @@
 
 set(FILES_CONTAINING_UNITTESTS
   src/xbt/cunit.cpp
-  src/xbt/dynar.cpp
   src/xbt/dict.cpp
   src/xbt/xbt_str.cpp
   src/xbt/config.cpp