A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git]
/
teshsuite
/
mc
/
mutex_handling.c
diff --git
a/teshsuite/mc/mutex_handling.c
b/teshsuite/mc/mutex_handling.c
index
d5aad96
..
e13bd2f
100644
(file)
--- a/
teshsuite/mc/mutex_handling.c
+++ b/
teshsuite/mc/mutex_handling.c
@@
-19,14
+19,11
@@
* and the MC does not find the counter-example.
*/
* and the MC does not find the counter-example.
*/
-#include <stdio.h>
#include "simgrid/msg.h"
#include "simgrid/msg.h"
-#include "xbt/log.h"
#include "mc/mc.h"
#include <xbt/synchro_core.h>
#include "mc/mc.h"
#include <xbt/synchro_core.h>
-XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test,
- "Messages specific for this msg example");
+XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example");
#define BOX_NAME "box"
#define BOX_NAME "box"
@@
-66,15
+63,13
@@
int main(int argc, char *argv[])
{
MSG_init(&argc, argv);
xbt_assert(argc > 2, "Usage: %s platform_file deployment_file\n"
{
MSG_init(&argc, argv);
xbt_assert(argc > 2, "Usage: %s platform_file deployment_file\n"
-
"\tExample: %s msg_platform.xml msg_deployment.xml\n", argv[0], argv[0]);
+ "\tExample: %s msg_platform.xml msg_deployment.xml\n", argv[0], argv[0]);
- const char *platform_file = argv[1];
- const char *application_file = argv[2];
- MSG_create_environment(platform_file);
+ MSG_create_environment(argv[1]);
MSG_function_register("receiver", receiver);
MSG_function_register("sender", sender);
MSG_function_register("receiver", receiver);
MSG_function_register("sender", sender);
- MSG_launch_application(a
pplication_file
);
+ MSG_launch_application(a
rgv[2]
);
#ifndef DISABLE_THE_MUTEX
mutex = xbt_mutex_init();
#endif
#ifndef DISABLE_THE_MUTEX
mutex = xbt_mutex_init();
#endif
@@
-85,4
+80,4
@@
int main(int argc, char *argv[])
XBT_INFO("Simulation time %g", MSG_get_clock());
return res != MSG_OK;
XBT_INFO("Simulation time %g", MSG_get_clock());
return res != MSG_OK;
-}
\ No newline at end of file
+}