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
move on_start and on_completion from CommImpl to Comm
[simgrid.git]
/
include
/
xbt
/
asserts.h
diff --git
a/include/xbt/asserts.h
b/include/xbt/asserts.h
index 314c5ec978f83d539c2d7b80c33cac0cdedf0351..455e30883af281887ac8a27c1ced02bdf293e0a4 100644
(file)
--- a/
include/xbt/asserts.h
+++ b/
include/xbt/asserts.h
@@
-1,6
+1,6
@@
/* xbt/asserts.h -- assertion mechanism */
/* xbt/asserts.h -- assertion mechanism */
-/* Copyright (c) 2005-202
2
. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2005-202
3
. The SimGrid Team. All rights reserved. */
/* 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. */
@@
-8,7
+8,6
@@
#ifndef XBT_ASSERTS_H
#define XBT_ASSERTS_H
#ifndef XBT_ASSERTS_H
#define XBT_ASSERTS_H
-#include "simgrid/modelchecker.h"
#include <stdlib.h>
#include <xbt/base.h>
#include <xbt/log.h>
#include <stdlib.h>
#include <xbt/base.h>
#include <xbt/log.h>
@@
-61,10
+60,7
@@
XBT_ATTRIB_NORETURN XBT_PUBLIC void xbt_abort(void);
XBT_CCRITICAL(root, __VA_ARGS__); \
if (!xbt_log_no_loc) \
xbt_backtrace_display_current(); \
XBT_CCRITICAL(root, __VA_ARGS__); \
if (!xbt_log_no_loc) \
xbt_backtrace_display_current(); \
- if (MC_is_active()) \
- MC_assert(0); \
- else \
- abort(); \
+ abort(); \
} \
} while (0)
} \
} while (0)