AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

projects / simgrid.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: b77b96a) | patch

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Tue, 20 Nov 2012 18:10:02 +0000 (19:10 +0100)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Tue, 20 Nov 2012 18:10:02 +0000 (19:10 +0100)
commit	1619b56e8f7f377298f37c4004406c0aab78a151
tree	fea059e76216d054787e65fd401e0cfc64ba1bde	tree \| snapshot
parent	b77b96a6fdd5563137a78a3d678bcbfa8bda66db	commit \| diff

model-checker : new tesh for snapshot comparison tests

12 files changed:

buildtools/Cmake/AddTests.cmake		diff \| blob \| history
examples/msg/mc/CMakeLists.txt		diff \| blob \| history
examples/msg/mc/test/snapshot_comparison1.c	[moved from examples/msg/mc/test/snapshot_comparison_liveness1.c with 91% similarity]	diff \| blob \| history
examples/msg/mc/test/snapshot_comparison1.tesh	[new file with mode: 0644]	blob
examples/msg/mc/test/snapshot_comparison2.c	[moved from examples/msg/mc/test/snapshot_comparison_liveness2.c with 87% similarity]	diff \| blob \| history
examples/msg/mc/test/snapshot_comparison2.tesh	[new file with mode: 0644]	blob
examples/msg/mc/test/snapshot_comparison3.c	[moved from examples/msg/mc/test/snapshot_comparison_liveness3.c with 91% similarity]	diff \| blob \| history
examples/msg/mc/test/snapshot_comparison3.tesh	[new file with mode: 0644]	blob
examples/msg/mc/test/snapshot_comparison4.c	[moved from examples/msg/mc/test/snapshot_comparison_liveness4.c with 91% similarity]	diff \| blob \| history
examples/msg/mc/test/snapshot_comparison4.tesh	[new file with mode: 0644]	blob
examples/msg/mc/test/snapshot_comparison5.c	[moved from examples/msg/mc/test/snapshot_comparison_liveness5.c with 91% similarity]	diff \| blob \| history
examples/msg/mc/test/snapshot_comparison5.tesh	[new file with mode: 0644]	blob

Clone of SimGrid repository with local patches