/* 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 "src/include/surf/surf.h"
#include "surf/maxmin.h"
#include "xbt/module.h"
#include "xbt/xbt_os_time.h"
}
}
- printf("Starting to solve(%i)\n",myrand()%1000);
+ fprintf(stderr,"Starting to solve(%i)\n",myrand()%1000);
date = xbt_os_time() * 1000000;
lmm_solve(Sys);
date = xbt_os_time() * 1000000 - date;
if(mode==2){
- printf("Max concurrency:\n");
+ fprintf(stderr,"Max concurrency:\n");
l=0;
for (i = 0; i < nb_cnst; i++) {
j=lmm_constraint_concurrency_maximum_get(cnst[i]);
xbt_assert(k<0 || j<=k);
if(j>l)
l=j;
- printf("(%i):%i/%i ",i,j,k);
+ fprintf(stderr,"(%i):%i/%i ",i,j,k);
lmm_constraint_concurrency_maximum_reset(cnst[i]);
xbt_assert(!lmm_constraint_concurrency_maximum_get(cnst[i]));
if(i%10==9)
- printf("\n");
+ fprintf(stderr,"\n");
}
- printf("\nTotal maximum concurrency is %i\n",l);
+ fprintf(stderr,"\nTotal maximum concurrency is %i\n",l);
lmm_print(Sys);
}
//Otherwise, just set it to a constant value (and set rate_no_limit to 1.0):
//nb_elem=200
- xbt_init(&argc, argv);
+ surf_init(&argc, argv);
for(int i=0;i<testcount;i++){
seedx=i+1;
testcount,nb_cnst, nb_var, nb_elem, (1<<pw_base_limit), (1<<pw_base_limit)+(1<<pw_max_limit), max_share);
if(mode==3)
fprintf(stderr, "Execution time: %g +- %g microseconds \n",mean_date, stdev_date);
+
+ surf_exit();
return 0;
}