Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get current backtrace with libunwind (only available with ucontext...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:23:31 +0000 (18:23 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commitc5071b3b404fbbfc84172a08fb4086bc5ce97fc9
tree538d76df4392fcfa94c09ca45d8250ab40fdd553
parent4f609ec53a6525146e68a4751ae29f8b0a8228a0
model-checker : get current backtrace with libunwind (only available with ucontext factory for now ...)
include/xbt/ex.h
src/xbt/backtrace_linux.c
src/xbt/mmalloc/mmalloc.c