Author: niels
Date: Wed Feb 8 11:19:24 2012
New Revision: 7178
URL: http://svn.gna.org/viewcvs/service-tech?rev=7178&view=rev
Log:
* prepared Patricia for Autotest (not ready yet)
Added:
trunk/patricia/tests/Makefile.am
trunk/patricia/tests/cover.sh.in (with props)
trunk/patricia/tests/package.m4.in
trunk/patricia/tests/testfiles/
trunk/patricia/tests/testfiles/FMS-propertiesnok.formula
trunk/patricia/tests/testfiles/FMS-propertiesok.formula
trunk/patricia/tests/testfiles/FMS.pnml.lola
trunk/patricia/tests/testfiles/Kanban-propertiesnok.formula
trunk/patricia/tests/testfiles/Kanban-propertiesok.formula
trunk/patricia/tests/testfiles/Kanban.pnml.lola
trunk/patricia/tests/testfiles/MAPK-propertiesnok.formula
trunk/patricia/tests/testfiles/MAPK-propertiesok.formula
trunk/patricia/tests/testfiles/MAPK.pnml.lola
trunk/patricia/tests/testsuite.at
trunk/patricia/tests/wrap.sh (with props)
trunk/patricia/tools/
trunk/patricia/tools/lola.tar.gz (with props)
trunk/patricia/tools/prepare.sh (with props)
trunk/patricia/tools/sara.tar.gz (with props)
Modified:
trunk/patricia/Makefile.am
trunk/patricia/configure.ac
trunk/patricia/src/actions.c
trunk/patricia/src/main.c
trunk/patricia/src/tools.c
trunk/patricia/src/tools/lola.c
trunk/patricia/src/tools/lola.h
trunk/patricia/src/tools/sara.c
trunk/patricia/src/tools/sara.h
trunk/patricia/src/types.c
trunk/patricia/src/types.h
trunk/patricia/src/utils.c
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
