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
model-checker : XBT_DEBUG replaced by XBT_INFO
[simgrid.git]
/
examples
/
msg
/
mc
/
bugged1_while_liveness.c
diff --git
a/examples/msg/mc/bugged1_while_liveness.c
b/examples/msg/mc/bugged1_while_liveness.c
index
95b6e5b
..
bc14d0b
100644
(file)
--- a/
examples/msg/mc/bugged1_while_liveness.c
+++ b/
examples/msg/mc/bugged1_while_liveness.c
@@
-85,7
+85,7
@@
int client(int argc, char *argv[])
if(strcmp(my_mailbox, "1") == 0){
r = 1;
cs = 0;
if(strcmp(my_mailbox, "1") == 0){
r = 1;
cs = 0;
- XBT_
DEBUG
("Propositions changed : r=1, cs=0");
+ XBT_
INFO
("Propositions changed : r=1, cs=0");
}
// wait the answer
}
// wait the answer
@@
-96,7
+96,7
@@
int client(int argc, char *argv[])
if((strcmp(my_mailbox, "1") == 0) && (strcmp("grant", kind) == 0)){
cs = 1;
r = 0;
if((strcmp(my_mailbox, "1") == 0) && (strcmp("grant", kind) == 0)){
cs = 1;
r = 0;
- XBT_
DEBUG
("Propositions changed : r=0, cs=1");
+ XBT_
INFO
("Propositions changed : r=0, cs=1");
}
}
@@
-110,7
+110,7
@@
int client(int argc, char *argv[])
if(strcmp(my_mailbox, "1") == 0){
cs=0;
r=0;
if(strcmp(my_mailbox, "1") == 0){
cs=0;
r=0;
- XBT_
DEBUG
("Propositions changed : r=0, cs=0");
+ XBT_
INFO
("Propositions changed : r=0, cs=0");
}
}
}
}