Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
7 years agos/lastest/latest/ (stupid me)
Martin Quinson [Wed, 21 Nov 2012 16:04:15 +0000 (17:04 +0100)]
s/lastest/latest/ (stupid me)

7 years agomodel-checker : abort if acceptance cycle detected
Marion Guthmuller [Wed, 21 Nov 2012 14:49:37 +0000 (15:49 +0100)]
model-checker : abort if acceptance cycle detected

7 years agomodel-checker : remove automatic activation of MC if a value of cfg flag about MC...
Marion Guthmuller [Wed, 21 Nov 2012 14:42:24 +0000 (15:42 +0100)]
model-checker : remove automatic activation of MC if a value of cfg flag about MC is modified

7 years agomodel-checker : new tesh for snapshot comparison tests
Marion Guthmuller [Tue, 20 Nov 2012 18:10:02 +0000 (19:10 +0100)]
model-checker : new tesh for snapshot comparison tests

7 years agomodel-checker : rename cfg flag for state comparison reduction with storage of visite...
Marion Guthmuller [Tue, 20 Nov 2012 17:27:42 +0000 (18:27 +0100)]
model-checker : rename cfg flag for state comparison reduction with storage of visited states (stateful->visited)

7 years agomodel-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incor...
Marion Guthmuller [Tue, 20 Nov 2012 17:13:42 +0000 (18:13 +0100)]
model-checker : use xbt_cfg_setdefault instead of default_value in surf_config (incorrect display with --help)

7 years agomodel-checker : ignore coverage variables
Marion Guthmuller [Tue, 20 Nov 2012 15:41:55 +0000 (16:41 +0100)]
model-checker : ignore coverage variables

7 years agomodel-checker : abort if popen failed
Marion Guthmuller [Tue, 20 Nov 2012 15:17:14 +0000 (16:17 +0100)]
model-checker : abort if popen failed

7 years agomodel-checker : fix compilation error (with optimizations) with commit d90a41491cfb04...
Marion Guthmuller [Mon, 19 Nov 2012 14:50:51 +0000 (15:50 +0100)]
model-checker : fix compilation error (with optimizations) with commit d90a41491cfb04188c4469729fa60d01ec0ff693

7 years agoadd the TLA specification of the simix network layer, for marion to play with
Martin Quinson [Mon, 19 Nov 2012 09:34:35 +0000 (10:34 +0100)]
add the TLA specification of the simix network layer, for marion to play with

7 years agoattempt to get everything properly cleaned when only using --help and friends
Martin Quinson [Mon, 19 Nov 2012 09:13:08 +0000 (10:13 +0100)]
attempt to get everything properly cleaned when only using --help and friends

7 years agomodel-checker : add tesh for bugged1_liveness and chord_neverjoin
Marion Guthmuller [Sun, 18 Nov 2012 18:46:18 +0000 (19:46 +0100)]
model-checker : add tesh for bugged1_liveness and chord_neverjoin

7 years agomodel-checker : use XBT_DEBUG instead of XBT_INFO
Marion Guthmuller [Sun, 18 Nov 2012 18:40:43 +0000 (19:40 +0100)]
model-checker : use XBT_DEBUG instead of XBT_INFO

7 years agomodel-checker : fix insertion in mc_data_bss_comparion
Marion Guthmuller [Sun, 18 Nov 2012 18:29:23 +0000 (19:29 +0100)]
model-checker : fix insertion in mc_data_bss_comparion

7 years agomodel-checker : ignore some variables enabled with tracing, and variables about excep...
Marion Guthmuller [Sun, 18 Nov 2012 18:28:25 +0000 (19:28 +0100)]
model-checker : ignore some variables enabled with tracing, and variables about exception for all frames

7 years agomodel-checker : improve stack ignore in heap comparison algorithm
Marion Guthmuller [Sun, 18 Nov 2012 18:23:46 +0000 (19:23 +0100)]
model-checker : improve stack ignore in heap comparison algorithm

7 years agomodel-checker : stateful mode disabled by default
Marion Guthmuller [Sun, 18 Nov 2012 18:22:43 +0000 (19:22 +0100)]
model-checker : stateful mode disabled by default

7 years agomodel-checker : stop independance reduction if same request issuer
Marion Guthmuller [Sat, 17 Nov 2012 20:14:38 +0000 (21:14 +0100)]
model-checker : stop independance reduction if same request issuer

7 years agomodel-checker : ignore new local variable
Marion Guthmuller [Fri, 16 Nov 2012 16:38:17 +0000 (17:38 +0100)]
model-checker : ignore new local variable

7 years agomodel-checker : use XBT_DEBUG instead of XBT_INFO
Marion Guthmuller [Fri, 16 Nov 2012 16:21:54 +0000 (17:21 +0100)]
model-checker : use XBT_DEBUG instead of XBT_INFO

7 years agomodel-checker : MC_init() must be called for initial snapshot
Marion Guthmuller [Fri, 16 Nov 2012 16:20:37 +0000 (17:20 +0100)]
model-checker : MC_init() must be called for initial snapshot

7 years agomodel-checker : fix dpor algorithm
Marion Guthmuller [Fri, 16 Nov 2012 16:04:05 +0000 (17:04 +0100)]
model-checker : fix dpor algorithm

  - Interleave all enabled processes for each state
  - If max_depth reached and last state still have processes interleaved, backtrack on this state (reduction not applied)"
  - If independant transitions, corresponding process interleaved in previous state is disabled (MC_DONE)

7 years agoforget to apply cleanups in MC on SMPI (separate MC_modelcheck for safety and liveness)
Marion Guthmuller [Fri, 16 Nov 2012 08:44:32 +0000 (09:44 +0100)]
forget to apply cleanups in MC on SMPI (separate MC_modelcheck for safety and liveness)

7 years agomodel-checker : factorize code for safety and liveness model-checking
Marion Guthmuller [Thu, 15 Nov 2012 22:54:34 +0000 (23:54 +0100)]
model-checker : factorize code for safety and liveness model-checking

- same function for checkpointing : MC_take_snapshot
- MC_init : dwarf parsing and init memory map info
- add visited states storage for safety model checking

7 years agomodel-checker : fix dependance theorem according to TLA+ specification
Marion Guthmuller [Thu, 15 Nov 2012 20:53:16 +0000 (21:53 +0100)]
model-checker : fix dependance theorem according to TLA+ specification

iSend and iRecv requests are dependant with Test requests if process issuer is different.
On the path iRecv->iSend->Test, test return true but on the path iRecv/Test/iSend, test return false.

So, each interleaving must be explored.

7 years agomodel-checker : warning message if max depth is reached
Marion Guthmuller [Thu, 15 Nov 2012 20:33:21 +0000 (21:33 +0100)]
model-checker : warning message if max depth is reached

7 years agomodel-checker : memory free
Marion Guthmuller [Thu, 15 Nov 2012 16:27:40 +0000 (17:27 +0100)]
model-checker : memory free

7 years agomodel-checker : cleanups in verification of current heap
Marion Guthmuller [Thu, 15 Nov 2012 16:27:01 +0000 (17:27 +0100)]
model-checker : cleanups in verification of current heap

7 years agomodel-checker : comparison times are NULL for visited_pair
Marion Guthmuller [Thu, 15 Nov 2012 16:20:51 +0000 (17:20 +0100)]
model-checker : comparison times are NULL for visited_pair

7 years agomodel-checker : fix segfault in get_local_variables_values()
Marion Guthmuller [Thu, 15 Nov 2012 16:18:09 +0000 (17:18 +0100)]
model-checker : fix segfault in get_local_variables_values()

7 years agomodel-checker : create subdir for chord example with liveness model-checking
Marion Guthmuller [Thu, 15 Nov 2012 16:13:57 +0000 (17:13 +0100)]
model-checker : create subdir for chord example with liveness model-checking

7 years agomodel-checker : store last visited states during exploration
Marion Guthmuller [Thu, 15 Nov 2012 16:08:26 +0000 (17:08 +0100)]
model-checker : store last visited states during exploration

  - new cfg flag : model-check/stateful -> indicates how many visited states stored (default value : 10)
  - if a state has been already visited, backtracking

7 years agoDo memchecks with tracing=on, now that it's enabled by default.
Arnaud Giersch [Thu, 15 Nov 2012 16:12:24 +0000 (17:12 +0100)]
Do memchecks with tracing=on, now that it's enabled by default.

7 years agoPut the TRY..CATCH inside a wrapper function.
Arnaud Giersch [Thu, 15 Nov 2012 16:07:03 +0000 (17:07 +0100)]
Put the TRY..CATCH inside a wrapper function.

Avoid spurious warnings about variables that might be clobbered by
setjmp/longjmp.

7 years agoAdd missing include.
Arnaud Giersch [Thu, 15 Nov 2012 15:50:56 +0000 (16:50 +0100)]
Add missing include.

The problem is visible with -Denable_tracing=OFF only.

7 years agoPut forward declaration of static function in c file, not in header.
Arnaud Giersch [Thu, 15 Nov 2012 15:10:55 +0000 (16:10 +0100)]
Put forward declaration of static function in c file, not in header.

7 years agoFix TestSuite.msg-file
paul bedaride [Thu, 15 Nov 2012 14:24:29 +0000 (15:24 +0100)]
Fix TestSuite.msg-file

7 years agoMake paranoid compiler happy.
Arnaud Giersch [Thu, 15 Nov 2012 12:36:15 +0000 (13:36 +0100)]
Make paranoid compiler happy.

7 years agoflatifier: added --downgrade option to output version 2 platform files, options can...
Maximiliano Geier [Thu, 15 Nov 2012 12:06:37 +0000 (13:06 +0100)]
flatifier: added --downgrade option to output version 2 platform files, options can also appear in any order

7 years agodisplay on configuration output whether the mallocators are activated or not
Martin Quinson [Thu, 15 Nov 2012 09:57:41 +0000 (10:57 +0100)]
display on configuration output whether the mallocators are activated or not

7 years agoturn off the mallocators during the memory check
Martin Quinson [Thu, 15 Nov 2012 09:44:11 +0000 (10:44 +0100)]
turn off the mallocators during the memory check

7 years agogit reset hard works even for Java. True story.
Martin Quinson [Thu, 15 Nov 2012 08:21:55 +0000 (09:21 +0100)]
git reset hard works even for Java. True story.

7 years agoGit-reset should do the job here, plus minor corrections.
Arnaud Giersch [Wed, 14 Nov 2012 22:02:08 +0000 (23:02 +0100)]
Git-reset should do the job here, plus minor corrections.

7 years agoahem, document the right name for the new function
Martin Quinson [Wed, 14 Nov 2012 21:45:25 +0000 (22:45 +0100)]
ahem, document the right name for the new function

7 years agorewrite the 'howto release' guide, in paranoid mode
Martin Quinson [Wed, 14 Nov 2012 21:21:29 +0000 (22:21 +0100)]
rewrite the 'howto release' guide, in paranoid mode

7 years agotypo in comments
Martin Quinson [Wed, 14 Nov 2012 21:20:40 +0000 (22:20 +0100)]
typo in comments

7 years agocosmetics
Martin Quinson [Wed, 14 Nov 2012 21:19:55 +0000 (22:19 +0100)]
cosmetics

7 years agoNew function: MSG_get_process_number()
Martin Quinson [Wed, 14 Nov 2012 21:19:30 +0000 (22:19 +0100)]
New function: MSG_get_process_number()

7 years agoenhance the flatifier so that it can be used for platform parsing performance measurement
Martin Quinson [Thu, 8 Nov 2012 19:36:58 +0000 (20:36 +0100)]
enhance the flatifier so that it can be used for platform parsing performance measurement

7 years agoBitTorrent: changed the way the PIECE message is handled so that it uses MSG_task_ise...
Maximiliano Geier [Wed, 14 Nov 2012 10:35:40 +0000 (11:35 +0100)]
BitTorrent: changed the way the PIECE message is handled so that it uses MSG_task_isend insted of MSG_task_dsend, and queues pending comms accordingly

7 years agoBitTorrent: added reference to the report by A. Legout on the size of messages
Maximiliano Geier [Wed, 14 Nov 2012 10:27:13 +0000 (11:27 +0100)]
BitTorrent: added reference to the report by A. Legout on the size of messages

7 years agosmpicc: also reset CMAKE_LINKARGS when no linking is required (-c).
Arnaud Giersch [Wed, 14 Nov 2012 09:00:39 +0000 (10:00 +0100)]
smpicc: also reset CMAKE_LINKARGS when no linking is required (-c).

7 years agoSize can be negative. Use ssize_t instead of size_t.
Arnaud Giersch [Wed, 14 Nov 2012 08:41:59 +0000 (09:41 +0100)]
Size can be negative.  Use ssize_t instead of size_t.

Error caught by Clang:
In file included from /home/giersch/lsrc/simgrid/simgrid-git/src/xbt/mmalloc/mm.c:21:
src/xbt/mmalloc/mmorecore.c:74:19: error: comparison of unsigned expression < 0 is always false [-Werror,-Wtautological-compare]
  } else if (size < 0) {

7 years agoRemove unsupported flags when Clang is used.
Arnaud Giersch [Wed, 14 Nov 2012 08:36:08 +0000 (09:36 +0100)]
Remove unsupported flags when Clang is used.

7 years agoAlso print CMAKE_xxx_COMPILER_ID.
Arnaud Giersch [Wed, 14 Nov 2012 08:32:17 +0000 (09:32 +0100)]
Also print CMAKE_xxx_COMPILER_ID.

7 years agomodel-checker : new cfg command line flag (model-check/max_depth) for max depth of...
Marion Guthmuller [Tue, 13 Nov 2012 14:12:35 +0000 (15:12 +0100)]
model-checker : new cfg command line flag (model-check/max_depth) for max depth of exploration (default value is 1000)

7 years agoCorrect a bug in kademlia
paul bedaride [Tue, 13 Nov 2012 10:58:03 +0000 (11:58 +0100)]
Correct a bug in kademlia

7 years agoWrite the add_test(...) so that they are compatible with cmake 2.6.
Arnaud Giersch [Mon, 12 Nov 2012 20:28:59 +0000 (21:28 +0100)]
Write the add_test(...) so that they are compatible with cmake 2.6.

7 years agoUse configure_file(... COPYONLY) instead of file(COPY ...).
Arnaud Giersch [Mon, 12 Nov 2012 20:19:11 +0000 (21:19 +0100)]
Use configure_file(... COPYONLY) instead of file(COPY ...).

file(COPY ...) does not exist in cmake before 2.8.

7 years agoDefine macro if it's missing.
Arnaud Giersch [Mon, 12 Nov 2012 17:05:26 +0000 (18:05 +0100)]
Define macro if it's missing.

CMAKE_FORCE_Fortran_COMPILER does not exist with cmake before 2.8.1.
See http://www.cmake.org/Bug/view.php?id=10032

7 years agoProtect string with quotes.
Arnaud Giersch [Mon, 12 Nov 2012 16:56:22 +0000 (17:56 +0100)]
Protect string with quotes.

7 years agoUse options compatible with older versions of git.
Arnaud Giersch [Mon, 12 Nov 2012 16:40:18 +0000 (17:40 +0100)]
Use options compatible with older versions of git.

7 years agoIf several remotes are set, arbitrarily use the first one.
Arnaud Giersch [Mon, 12 Nov 2012 16:39:11 +0000 (17:39 +0100)]
If several remotes are set, arbitrarily use the first one.

7 years agomodel-checker : cosmetics on log message
Marion Guthmuller [Mon, 12 Nov 2012 16:33:09 +0000 (17:33 +0100)]
model-checker : cosmetics on log message

7 years agomodel-checker : Add statistics about comparison times for each pair reached:
Marion Guthmuller [Mon, 12 Nov 2012 16:20:41 +0000 (17:20 +0100)]
model-checker : Add statistics about comparison times for each pair reached:

- if debug log enabled for mc_compare:
  - number of comparisons done with this pair
  - for each comparison step : number of different states, comparison times (average, max, min)
- otherwise
  - number of comparisons done with this pair
  - snapshot comparison times (stopped when the first difference is detected)

7 years agocosmetics and fix ugly bug in windows code
Augustin Degomme [Mon, 12 Nov 2012 16:27:35 +0000 (17:27 +0100)]
cosmetics and fix ugly bug in windows code

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Mon, 12 Nov 2012 15:02:21 +0000 (16:02 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years ago[trace] bye bye triva, welcome viva
Lucas Schnorr [Mon, 12 Nov 2012 14:43:20 +0000 (15:43 +0100)]
[trace] bye bye triva, welcome viva

todo:
- update documentation

7 years agoupdate doc for asynchronous send
Augustin Degomme [Mon, 12 Nov 2012 14:37:54 +0000 (15:37 +0100)]
update doc for asynchronous send

7 years ago[trace] do not extract topology graph if user ask to do so (by disabling --cfg=tracin...
Lucas Schnorr [Mon, 12 Nov 2012 14:10:27 +0000 (15:10 +0100)]
[trace] do not extract topology graph if user ask to do so (by disabling --cfg=tracing/platform/topology)

7 years ago[trace] new tracing option to disable the topology tracing as a graph
Lucas Schnorr [Mon, 12 Nov 2012 14:09:41 +0000 (15:09 +0100)]
[trace] new tracing option to disable the topology tracing as a graph

do:
--cfg=tracing/platform/topology:0 to disable it

7 years ago[trace] cosmetics, platform is registered as a hierarchy, not as a graph
Lucas Schnorr [Mon, 12 Nov 2012 14:05:13 +0000 (15:05 +0100)]
[trace] cosmetics, platform is registered as a hierarchy, not as a graph

7 years agoupdate doc to reflect change of the stack_size parameter
Augustin Degomme [Mon, 12 Nov 2012 13:40:21 +0000 (14:40 +0100)]
update doc to reflect change of the stack_size parameter

7 years agoavoid setting the value of the stack size for thread factory if the parameter is...
Augustin Degomme [Mon, 12 Nov 2012 13:33:50 +0000 (14:33 +0100)]
avoid setting the value of the stack size for thread factory if the parameter is not explicitely set by the user (this is a bit annoying, as it adds a global to check the initialization, but it handles the case were the explicitely wanted value is also the default one)

7 years agoMerge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid
Augustin Degomme [Mon, 12 Nov 2012 12:02:30 +0000 (13:02 +0100)]
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

7 years agomodel-checker : remove chunks used comparison at the beginning of mmalloc_compare...
Marion Guthmuller [Sun, 11 Nov 2012 19:37:50 +0000 (20:37 +0100)]
model-checker : remove chunks used comparison at the beginning of mmalloc_compare(), done at the beginning of snasphot_compare()

7 years agomodel-checker : unset raw heap after display of statistics if complete exploration...
Marion Guthmuller [Sun, 11 Nov 2012 18:12:26 +0000 (19:12 +0100)]
model-checker : unset raw heap after display of statistics if complete exploration without acceptance cycle found

7 years agomodel-checker : get times elapsed for snasphot comparison
Marion Guthmuller [Sun, 11 Nov 2012 18:04:00 +0000 (19:04 +0100)]
model-checker : get times elapsed for snasphot comparison

7 years agomodel-checker : add ignore mechanism for global variables (data + bss segments) in...
Marion Guthmuller [Sun, 11 Nov 2012 17:47:30 +0000 (18:47 +0100)]
model-checker : add ignore mechanism for global variables (data + bss segments) in libsimgrid

7 years agomodel-checker : get start of libsimgrid bss segment for MC_ignore mechanism
Marion Guthmuller [Sun, 11 Nov 2012 16:34:55 +0000 (17:34 +0100)]
model-checker : get start of libsimgrid bss segment for MC_ignore mechanism

7 years agomodel-checker : typo
Marion Guthmuller [Sun, 11 Nov 2012 13:56:43 +0000 (14:56 +0100)]
model-checker : typo

7 years agoShake up snapshot comparison : apply a new order of comparison
Marion Guthmuller [Fri, 9 Nov 2012 17:57:47 +0000 (18:57 +0100)]
Shake up snapshot comparison : apply a new order of comparison
- number of chunks used in heaps
- size used in stacks
- binary/libsimgrid data segments
- heap comparison algorithm
- local variables with DWARF and libunwind

If debug log is enabled on mc_compare, comparison is done entirely otherwise comparison stops when a first difference is detected.

7 years agomodel-checker : remove unnecessary comment
Marion Guthmuller [Fri, 9 Nov 2012 17:45:00 +0000 (18:45 +0100)]
model-checker : remove unnecessary comment

7 years agomodel-checker : move creation of initial_state_liveness in MC_init_liveness
Marion Guthmuller [Fri, 9 Nov 2012 17:44:02 +0000 (18:44 +0100)]
model-checker : move creation of initial_state_liveness in MC_init_liveness

7 years agomodel-checker : add size of stack in parameter of the function MC_new_stack_area
Marion Guthmuller [Fri, 9 Nov 2012 17:37:21 +0000 (18:37 +0100)]
model-checker : add size of stack in parameter of the function MC_new_stack_area

7 years agomodel-checker : getter function for chunks used in heap
Marion Guthmuller [Fri, 9 Nov 2012 17:33:19 +0000 (18:33 +0100)]
model-checker : getter function for chunks used in heap

7 years agomodel-checker : use statistics already included in heap struct for the comparison...
Marion Guthmuller [Fri, 9 Nov 2012 13:06:36 +0000 (14:06 +0100)]
model-checker : use statistics already included in heap struct for the comparison of fragment/block used

7 years agomodel-checker : initialize global variables
Marion Guthmuller [Fri, 9 Nov 2012 13:04:35 +0000 (14:04 +0100)]
model-checker : initialize global variables

7 years agoadd a function in xbt to allow setting the stack size of a pthread, according to...
Augustin Degomme [Fri, 9 Nov 2012 12:58:14 +0000 (13:58 +0100)]
add a function in xbt to allow setting the stack size of a pthread, according to the value of the contexts/stack_size parameter (which was only raw/ucontext before)

7 years agomodel-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1
Marion Guthmuller [Thu, 8 Nov 2012 16:19:53 +0000 (17:19 +0100)]
model-checker : enable WaitTimeout requests only if cfg flag model-check/timeout:1

7 years agomodel-checker : new command line flag (model-check/timeout) to enable/disable timeout...
Marion Guthmuller [Thu, 8 Nov 2012 16:00:53 +0000 (17:00 +0100)]
model-checker : new command line flag (model-check/timeout) to enable/disable timeout for wait requests with model-checking

7 years agomodel-checker : initialize variables (compilation error with optimizations)
Marion Guthmuller [Wed, 7 Nov 2012 15:59:02 +0000 (16:59 +0100)]
model-checker : initialize variables (compilation error with optimizations)

7 years agomodel-checker : add debug information on processes enabled for each state
Marion Guthmuller [Wed, 7 Nov 2012 15:16:20 +0000 (16:16 +0100)]
model-checker : add debug information on processes enabled for each state

7 years agomodel-checker: add chord example for liveness property model checking
Marion Guthmuller [Wed, 7 Nov 2012 14:49:56 +0000 (15:49 +0100)]
model-checker: add chord example for liveness property model checking

7 years agomodel-checker : initialize global variable ignore_done and set its value to 0 at...
Marion Guthmuller [Wed, 7 Nov 2012 14:47:43 +0000 (15:47 +0100)]
model-checker : initialize global variable ignore_done and set its value to 0 at the end of heap comparison

7 years agomodel-checker : remove backtracking if no more request to execute in system state...
Marion Guthmuller [Wed, 7 Nov 2012 14:45:00 +0000 (15:45 +0100)]
model-checker : remove backtracking if no more request to execute in system state, search evolution in B├╝chi automaton

7 years agomodel-checker : comment trigger for state equality detection
Marion Guthmuller [Wed, 7 Nov 2012 14:43:28 +0000 (15:43 +0100)]
model-checker : comment trigger for state equality detection

7 years agomodel-checker : improve debug information for stacks comparison
Marion Guthmuller [Wed, 7 Nov 2012 14:39:06 +0000 (15:39 +0100)]
model-checker : improve debug information for stacks comparison

7 years agomodel-checker : add local variables from xbt/ex.h in ignore mechanism for stacks...
Marion Guthmuller [Wed, 7 Nov 2012 14:38:07 +0000 (15:38 +0100)]
model-checker : add local variables from xbt/ex.h in ignore mechanism for stacks comparison

7 years agomodel-checker : ignore some local variables from xbt/ex.c for stack comparison
Marion Guthmuller [Wed, 31 Oct 2012 20:37:46 +0000 (21:37 +0100)]
model-checker : ignore some local variables from xbt/ex.c for stack comparison