Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix attributes for variables.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 19 Feb 2020 08:55:42 +0000 (09:55 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 19 Feb 2020 08:55:58 +0000 (09:55 +0100)
examples/c/actor-migrate/actor-migrate.c

index db761bc..0f28565 100644 (file)
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(actor_migrate, "Messages specific for this example");
 
-static void worker(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
+static void worker(int argc, char* argv[])
 {
+  xbt_assert(argc > 2);
   sg_host_t first  = sg_host_by_name(argv[1]);
-  sg_host_t second = sg_host_by_name(argv[2]);
+  const_sg_host_t second = sg_host_by_name(argv[2]);
 
   double flopAmount = sg_host_speed(first) * 5 + sg_host_speed(second) * 5;