/* 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. */
/* 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 "xbt/xbt_os_time.h"
int main(int argc, char **argv)
#include "xbt/xbt_os_time.h"
int main(int argc, char **argv)
printf("Workstation number: %zu, link number: %d\n", sg_host_count(), sg_link_count());
if(argv[2]){
printf("Wait for %ss\n",argv[2]);
printf("Workstation number: %zu, link number: %d\n", sg_host_count(), sg_link_count());
if(argv[2]){
printf("Wait for %ss\n",argv[2]);