AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Mon, 29 Apr 2013 11:30:41 +0000 (13:30 +0200)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Mon, 29 Apr 2013 11:34:25 +0000 (13:34 +0200)
commit	7f2b2cb65aff6ae1fe4ba58b721e48d2b9149d53
tree	0ce000126d8900938a8f033a9f39f7379a4cefb4	tree \| snapshot
parent	27e9cd8b83e1902e590c9aede026fefe14aab85e	commit \| diff

model-checker : cleanups in tesh examples

- rename directory: chord_liveness -> chord
- add tesh for bugged2
- remove broken tests snapshot_comparison*
- neverJoin in Chord is a safety property, not a liveness property

14 files changed:

buildtools/Cmake/AddTests.cmake		diff \| blob \| history
examples/msg/mc/CMakeLists.txt		diff \| blob \| history
examples/msg/mc/bugged2.tesh	[new file with mode: 0644]	blob
examples/msg/mc/chord/chord	[new file with mode: 0755]	blob
examples/msg/mc/chord/chord.c	[moved from examples/msg/mc/chord_liveness/chord_liveness.c with 99% similarity]	diff \| blob \| history
examples/msg/mc/chord/chord_neverjoin.tesh	[new file with mode: 0644]	blob
examples/msg/mc/chord/chord_neverjoin_timeout_visited.tesh	[new file with mode: 0644]	blob
examples/msg/mc/chord/deploy_chord.xml	[moved from examples/msg/mc/chord_liveness/deploy_chord_liveness.xml with 52% similarity]	diff \| blob \| history
examples/msg/mc/chord/deploy_chord4.xml	[new file with mode: 0644]	blob
examples/msg/mc/chord_liveness/chord_neverdeliver.tesh	[deleted file]	blob \| history
examples/msg/mc/chord_liveness/chord_neverjoin.tesh	[deleted file]	blob \| history
examples/msg/mc/chord_liveness/chord_neverjoin_timeout_visited.tesh	[deleted file]	blob \| history
examples/msg/mc/chord_liveness/promela_chord_neverdeliver	[deleted file]	blob \| history
examples/msg/mc/chord_liveness/promela_chord_neverjoin	[deleted file]	blob \| history

Clone of SimGrid repository with local patches

RSS Atom