Author: niels Date: Thu Jul 9 18:28:00 2009 New Revision: 4416 URL: http://svn.gna.org/viewcvs/service-tech?rev=4416&view=rev Log: Wendy Version 1.5 =================
* fixed bug #13718 (`https://gna.org/bugs/?13651') - fixed bit annotations * fixed bug #13903 (`https://gna.org/bugs/?13903') - filename of the temporary files can be passed to Wendy using the `--tmpfile' parameter * used `mkstemp' function to create temporary filenames * a wrapper script checks whether binaries needed by test cases are present and skips the test if necessary * added improved Petri Net API files (faster parsing) * updated maintainer scripts * Wendy can be configured with a configuration file, provided by parameter `--config' (see `http://www.gnu.org/software/gengetopt/gengetopt.html#Configuration-files' for more information). A standard configuration is created by the configure script and written to `src/wendy.conf'. When Wendy is executed, it checks for the file `wendy.conf' in the sysconfig folder (usually `/usr/local/etc') and in the current directory. If neither file was found, Wendy tries to rely on standard options. Added: trunk/wendy/tests/testfiles/phil5.owfn Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/THANKS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/libs/pnapi/component.cc trunk/wendy/libs/pnapi/component.h trunk/wendy/libs/pnapi/petrinet.cc trunk/wendy/libs/pnapi/petrinet.h trunk/wendy/tests/Makefile.am trunk/wendy/tests/testsuite.at -- 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.
