Author: pf001
Date: Fri Aug 21 17:33:06 2009
New Revision: 4635
URL: http://svn.gna.org/viewcvs/service-tech?rev=4635&view=rev
Log:
* Cleaned up test dir. Removed unused net files.
* Reachable state for testing phils.lola and phils_mod.lola wasn't reachable,
but now it is.
* Removed Windows line endings in phils.unreachable.state, because this LoLA
version don't like them.
* Removed philosophers test case, because of problems with LoLA modular server.
* LoLA Herder doesn't need a state file for reachability analysis anymore: The
analysis marking can be contained in the net file. Now we have the same
behaviour as LoLA.
Added:
branches/lola-modular/lola/tests/nets/data17_mod.lola (props changed)
- copied unchanged from r4627,
branches/lola-modular/lola/tests/nets/data17.hl
branches/lola-modular/lola/tests/nets/data40_mod.lola (props changed)
- copied unchanged from r4627,
branches/lola-modular/lola/tests/nets/data40.hl
branches/lola-modular/lola/tests/nets/phils.reachable.state (contents,
props changed)
- copied, changed from r4627,
branches/lola-modular/lola/tests/nets/ph.state
branches/lola-modular/lola/tests/nets/phils.unreachable.state (contents,
props changed)
- copied, changed from r4627,
branches/lola-modular/lola/tests/nets/phunreachable.state
Removed:
branches/lola-modular/lola/tests/nets/4phils_mod.dead.lola
branches/lola-modular/lola/tests/nets/4phils_mod.dead.png
branches/lola-modular/lola/tests/nets/4phils_mod.dead.state
branches/lola-modular/lola/tests/nets/4phils_mod.nodead.lola
branches/lola-modular/lola/tests/nets/4phils_mod.nodead.png
branches/lola-modular/lola/tests/nets/4phils_mod.nodead.state
branches/lola-modular/lola/tests/nets/data17.hl
branches/lola-modular/lola/tests/nets/data40.hl
branches/lola-modular/lola/tests/nets/ph.state
branches/lola-modular/lola/tests/nets/phunreachable.state
branches/lola-modular/lola/tests/nets/sample1_mod.dead.lola
branches/lola-modular/lola/tests/nets/sample1_mod.dead.png
branches/lola-modular/lola/tests/nets/sample2_mod.nodead.lola
branches/lola-modular/lola/tests/nets/sample2_mod.nodead.png
branches/lola-modular/lola/tests/nets/sample3_mod.nodead.lola
branches/lola-modular/lola/tests/nets/sample3_mod.nodead.png
branches/lola-modular/lola/tests/nets/sample3_mod.nodead.state
branches/lola-modular/lola/tests/test_modular_4phils.dead
Modified:
branches/lola-modular/lola/tests/Makefile.am
branches/lola-modular/lola/tests/test_modular_data17
branches/lola-modular/lola/tools/lola_herder/lh.py
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
