Author: pf001
Date: Mon Jul 13 22:53:43 2009
New Revision: 4433

URL: http://svn.gna.org/viewcvs/service-tech?rev=4433&view=rev
Log:
* Readded nets for testing LoLA modular.
* It seems LoLA modular is now running as expected.
* There are still some problems with the output of the witness path under 
Cygwin.


Added:
    branches/lola-modular/lola/tests/nets/sample1_mod.dead.lola
    branches/lola-modular/lola/tests/nets/sample1_mod.dead.png   (with props)
    branches/lola-modular/lola/tests/nets/sample2_mod.nodead.lola
    branches/lola-modular/lola/tests/nets/sample2_mod.nodead.png   (with props)
    branches/lola-modular/lola/tests/nets/sample3_mod.nodead.lola
    branches/lola-modular/lola/tests/nets/sample3_mod.nodead.png   (with props)
    branches/lola-modular/lola/tests/nets/sample3_mod.nodead.state


-- 
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.

Reply via email to