Arnaud Giersch [Tue, 8 Oct 2013 15:05:32 +0000 (17:05 +0200)]
Caught another leak.
Arnaud Giersch [Tue, 8 Oct 2013 14:36:35 +0000 (16:36 +0200)]
Skip message if test is deactivated.
Arnaud Giersch [Tue, 8 Oct 2013 13:59:34 +0000 (15:59 +0200)]
Remove unused fields.
Arnaud Giersch [Tue, 8 Oct 2013 13:56:03 +0000 (15:56 +0200)]
Make this example clean for valgrind.
suter [Tue, 8 Oct 2013 13:29:15 +0000 (15:29 +0200)]
zu to PRIu64 (again)
suter [Tue, 8 Oct 2013 13:03:49 +0000 (15:03 +0200)]
leak--
suter [Tue, 8 Oct 2013 13:03:38 +0000 (15:03 +0200)]
dict now contains pointers on size
suter [Tue, 8 Oct 2013 13:03:11 +0000 (15:03 +0200)]
use pointers on sg_storage_size_t in the dict instead of crappy void*
and &size to manage contents
Marion Guthmuller [Mon, 7 Oct 2013 20:38:40 +0000 (22:38 +0200)]
model-checker : avoid unnecessary snapshot restore
suter [Mon, 7 Oct 2013 18:11:40 +0000 (20:11 +0200)]
Argh ... a parse error is killing me, lets clean up my mess before dying
...
Totally useless commit, unless for cdash stats
Augustin Degomme [Mon, 7 Oct 2013 16:37:53 +0000 (18:37 +0200)]
Revert "fix windows cmake failing to detect it can actually use ucontexts"
This reverts commit
f663389d95d7ac18adfc21c3478b944fefc9253a.
Arnaud Giersch [Mon, 7 Oct 2013 16:35:32 +0000 (18:35 +0200)]
Use correct type for found.
Arnaud Giersch [Mon, 7 Oct 2013 15:51:13 +0000 (17:51 +0200)]
Rather call TRACE_end() at surf level.
Arnaud Giersch [Mon, 7 Oct 2013 14:18:27 +0000 (16:18 +0200)]
Value stored to 'time' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:32:47 +0000 (14:32 +0200)]
Value stored to 'bandwidth' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:31:14 +0000 (14:31 +0200)]
Remove duplicated initialization (rank).
Arnaud Giersch [Mon, 7 Oct 2013 12:28:46 +0000 (14:28 +0200)]
There's no need to initialize p here.
Arnaud Giersch [Mon, 7 Oct 2013 12:26:41 +0000 (14:26 +0200)]
Value is used only when MC_is_active().
Arnaud Giersch [Mon, 7 Oct 2013 12:24:29 +0000 (14:24 +0200)]
Value stored to 'total_dsize' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:20:18 +0000 (14:20 +0200)]
Value stored to 'size' is never read.
Arnaud Giersch [Mon, 7 Oct 2013 12:10:33 +0000 (14:10 +0200)]
Verify that request is not NULL (plus reindent).
Arnaud Giersch [Mon, 7 Oct 2013 11:58:17 +0000 (13:58 +0200)]
Rework test logic, and add one more case.
Arnaud Giersch [Mon, 7 Oct 2013 09:54:25 +0000 (11:54 +0200)]
Value stored to 'linelen' here is never read.
Augustin Degomme [Mon, 7 Oct 2013 16:14:25 +0000 (18:14 +0200)]
oops
Augustin Degomme [Mon, 7 Oct 2013 15:50:36 +0000 (17:50 +0200)]
fix compilation issue with windows timers
Augustin Degomme [Mon, 7 Oct 2013 14:59:36 +0000 (16:59 +0200)]
On windows, try_compile may use another compiler than the one we want.
Replace it by execute_process of the right compiler
Augustin Degomme [Mon, 7 Oct 2013 14:05:00 +0000 (16:05 +0200)]
fix windows cmake failing to detect it can actually use ucontexts
Augustin Degomme [Mon, 7 Oct 2013 14:04:25 +0000 (16:04 +0200)]
fix compil error in some cases
suter [Mon, 7 Oct 2013 14:53:14 +0000 (16:53 +0200)]
one more gloups revalidation
suter [Mon, 7 Oct 2013 14:38:27 +0000 (16:38 +0200)]
Gloups revalidation
suter [Mon, 7 Oct 2013 14:38:06 +0000 (16:38 +0200)]
destroy task when execution failed because of dead host
suter [Mon, 7 Oct 2013 14:36:51 +0000 (16:36 +0200)]
exception catching on host failure
suter [Mon, 7 Oct 2013 14:35:39 +0000 (16:35 +0200)]
seems that get_data can return NULL, add guards
suter [Mon, 7 Oct 2013 14:34:49 +0000 (16:34 +0200)]
reactivate expception raising on host failure
Martin Quinson [Mon, 7 Oct 2013 10:00:22 +0000 (12:00 +0200)]
java is now merged to master package
Martin Quinson [Mon, 7 Oct 2013 09:57:12 +0000 (11:57 +0200)]
make it easier to debug make distcheck issues by requesting output-on-failure to ctest
Martin Quinson [Mon, 7 Oct 2013 09:08:57 +0000 (11:08 +0200)]
cmon, script. Don't fail on me because I don't use colored diffs
Martin Quinson [Mon, 7 Oct 2013 08:48:39 +0000 (10:48 +0200)]
slight typo in documentation
Martin Quinson [Mon, 7 Oct 2013 08:43:17 +0000 (10:43 +0200)]
get ready to release the first prerelease of 3.10 (3.10pre1)
Marion Guthmuller [Sun, 6 Oct 2013 21:29:54 +0000 (23:29 +0200)]
model-checker : update tesh file
Marion Guthmuller [Sun, 6 Oct 2013 15:22:52 +0000 (17:22 +0200)]
model-checker : fix memory leak in ddfs algorithm
Arnaud Giersch [Sun, 6 Oct 2013 20:23:03 +0000 (22:23 +0200)]
Missing space, and more zu -> PRIu64 conversions.
Arnaud Giersch [Fri, 4 Oct 2013 22:48:27 +0000 (00:48 +0200)]
Encode path so that it is not too long.
Some OSes, like MacOS, don't want long names here.
The path is hashed with sha1, and then encoded in base64.
Arnaud Giersch [Fri, 4 Oct 2013 22:15:03 +0000 (00:15 +0200)]
Need one more byte for the terminating \0.
suter [Sun, 6 Oct 2013 16:48:02 +0000 (18:48 +0200)]
revalidate tesh
suter [Sat, 5 Oct 2013 15:29:57 +0000 (17:29 +0200)]
slightly modify the example to check that overwriting storage_type
contents by storage contents is possible
suter [Sat, 5 Oct 2013 15:02:28 +0000 (17:02 +0200)]
leak-- clean things at the MSG level when unlinking a file as
MSG_file_close wont be called.
suter [Sat, 5 Oct 2013 14:50:58 +0000 (16:50 +0200)]
leak --
suter [Sat, 5 Oct 2013 14:12:27 +0000 (16:12 +0200)]
use proper format
suter [Sat, 5 Oct 2013 14:10:03 +0000 (16:10 +0200)]
should be sg_storage_size_t here too
Martin Quinson [Sun, 6 Oct 2013 13:05:55 +0000 (15:05 +0200)]
cosmetics in an error message
Martin Quinson [Sun, 6 Oct 2013 12:50:34 +0000 (14:50 +0200)]
add some comments to avoid that someone breaks the MC with a 'trivial cleanup'
Marion Guthmuller [Sat, 5 Oct 2013 10:24:52 +0000 (12:24 +0200)]
model-checker : cleanup
Marion Guthmuller [Sat, 5 Oct 2013 10:24:21 +0000 (12:24 +0200)]
model-checker : fix memory leak
Arnaud Giersch [Fri, 4 Oct 2013 21:02:40 +0000 (23:02 +0200)]
Handle inactive requests in test and wait.
Arnaud Giersch [Fri, 4 Oct 2013 20:59:48 +0000 (22:59 +0200)]
Empty status when request is NULL.
Arnaud Giersch [Fri, 4 Oct 2013 20:31:08 +0000 (22:31 +0200)]
Reset requests to MPI_REQUEST_NULL.
Arnaud Giersch [Fri, 4 Oct 2013 19:23:43 +0000 (21:23 +0200)]
Arnaud Giersch [Fri, 4 Oct 2013 15:26:20 +0000 (17:26 +0200)]
Remove XBT_INLINE here, some compilers don't like it.
Arnaud Giersch [Fri, 4 Oct 2013 13:57:41 +0000 (15:57 +0200)]
Raise log level for this message.
Arnaud Giersch [Fri, 4 Oct 2013 13:50:54 +0000 (15:50 +0200)]
Empty status in any case (plus slight reindent).
Arnaud Giersch [Fri, 4 Oct 2013 09:36:38 +0000 (11:36 +0200)]
Enforce type for other MPI NULL constants.
Arnaud Giersch [Fri, 4 Oct 2013 09:01:18 +0000 (11:01 +0200)]
Enforce type for MPI_REQUEST_NULL, and fix mistakes.
Thanks Marion for having noticed it.
Augustin Degomme [Fri, 4 Oct 2013 13:46:58 +0000 (15:46 +0200)]
new attempt
Marion Guthmuller [Fri, 4 Oct 2013 13:12:13 +0000 (15:12 +0200)]
model-checker : ignore information about simix_global in safety MC
Marion Guthmuller [Fri, 4 Oct 2013 13:09:03 +0000 (15:09 +0200)]
model-checker : update tesh files
Marion Guthmuller [Fri, 4 Oct 2013 13:02:48 +0000 (15:02 +0200)]
model-checker : ignore information about simix_global
Marion Guthmuller [Fri, 4 Oct 2013 13:00:13 +0000 (15:00 +0200)]
model-checker : set comm to NULL before creating them with simcall (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 12:59:10 +0000 (14:59 +0200)]
model-checker : copy/paste error
Marion Guthmuller [Fri, 4 Oct 2013 12:58:45 +0000 (14:58 +0200)]
model-checker : fix detection of pointers on a fragment part
Marion Guthmuller [Fri, 4 Oct 2013 09:49:27 +0000 (11:49 +0200)]
model-checker : ignore process_to_run and process_that_ran included in simix_global for system state comparison
Marion Guthmuller [Fri, 4 Oct 2013 09:47:09 +0000 (11:47 +0200)]
model-checker : dangling pointer set to NULL
Marion Guthmuller [Fri, 4 Oct 2013 09:45:52 +0000 (11:45 +0200)]
model-checker : set SMPI request to NULL before creating them (MC compliant)
Marion Guthmuller [Fri, 4 Oct 2013 09:43:59 +0000 (11:43 +0200)]
model-checker : improve ignore mechanism for complete memory area
Marion Guthmuller [Thu, 3 Oct 2013 17:47:05 +0000 (19:47 +0200)]
model-checker : restore sequential system state comparison (parallel version is slower, for now ..)
Marion Guthmuller [Thu, 3 Oct 2013 17:39:33 +0000 (19:39 +0200)]
model-checker : fix sort of acceptance pairs
Marion Guthmuller [Thu, 3 Oct 2013 17:35:46 +0000 (19:35 +0200)]
model-checker : add debug message
Marion Guthmuller [Thu, 3 Oct 2013 17:35:06 +0000 (19:35 +0200)]
model-checker : ignore some information for system state comparison
Marion Guthmuller [Thu, 3 Oct 2013 17:34:08 +0000 (19:34 +0200)]
init request real_src
Marion Guthmuller [Thu, 3 Oct 2013 17:23:16 +0000 (19:23 +0200)]
model-checker : detect pointers on a part of a fragment
Marion Guthmuller [Wed, 2 Oct 2013 14:18:06 +0000 (16:18 +0200)]
model-checker : fix centralized mutex example
Marion Guthmuller [Wed, 2 Oct 2013 14:12:38 +0000 (16:12 +0200)]
model-checker : update bugged mutual exclusion algorithm
Marion Guthmuller [Wed, 2 Oct 2013 08:02:17 +0000 (10:02 +0200)]
model-checker : automaton state comparison removed with parallel comparison, fix it
Augustin Degomme [Fri, 4 Oct 2013 13:09:49 +0000 (15:09 +0200)]
empty lines made win unhappy
Augustin Degomme [Fri, 4 Oct 2013 12:30:59 +0000 (14:30 +0200)]
Use a large hammer to have Perl tesh actually comply with most of the existing suite.
Augustin Degomme [Wed, 2 Oct 2013 16:39:35 +0000 (18:39 +0200)]
have perl comply a little bit more to what existed before
Augustin Degomme [Wed, 2 Oct 2013 12:58:05 +0000 (14:58 +0200)]
file was put in the wrong folder ...
Arnaud Giersch [Thu, 3 Oct 2013 21:18:10 +0000 (23:18 +0200)]
Kill some memory leaks.
Arnaud Giersch [Thu, 3 Oct 2013 21:02:39 +0000 (23:02 +0200)]
Exit cleanly on error.
Arnaud Giersch [Thu, 3 Oct 2013 20:38:54 +0000 (22:38 +0200)]
Add tests to check that the expected context factory is really used.
Arnaud Giersch [Thu, 3 Oct 2013 20:08:21 +0000 (22:08 +0200)]
Typo: contexte -> context.
Arnaud Giersch [Thu, 3 Oct 2013 19:46:33 +0000 (21:46 +0200)]
Slight reordering.
Arnaud Giersch [Thu, 3 Oct 2013 19:31:30 +0000 (21:31 +0200)]
Delete obsolete files.
Augustin Degomme [Wed, 2 Oct 2013 12:02:53 +0000 (14:02 +0200)]
parameter order was not changed in java bindings
Augustin Degomme [Wed, 2 Oct 2013 11:35:24 +0000 (13:35 +0200)]
Include path to Diff.pm file in the perl script
Pierre Veyre [Wed, 2 Oct 2013 11:29:41 +0000 (13:29 +0200)]
Update msg-storage tesh
Pierre Veyre [Wed, 2 Oct 2013 09:14:07 +0000 (11:14 +0200)]
Change parameters order for msg_file_read, msg_file_write and in all their internal layers
Arnaud Giersch [Wed, 2 Oct 2013 06:54:10 +0000 (08:54 +0200)]
Even printf does not follow the standard on Windows.
Try to fix this.
Augustin Degomme [Tue, 1 Oct 2013 23:19:49 +0000 (01:19 +0200)]
Some teshes needed to be sorted because order in windows may be changed
Augustin Degomme [Tue, 1 Oct 2013 19:44:22 +0000 (21:44 +0200)]
command line = command line, options = options