Author: christianstahl
Date: Sat Aug 30 14:04:42 2008
New Revision: 3297
URL: http://svn.gna.org/viewcvs/service-tech?rev=3297&view=rev
Log:
- Fehler behoben, der beim Einlesen einer .cov Datei eintrat, wenn die
Platzmenge bzw. Transitionsmenge leer ist, d.h.
PLACES; bzw. TRANSITIONS;
Achtung: Der Fix ist mit heißer Nadel gestrickt!
- Testfälle (Tests/coverability) an die modifizierte Syntax für .cov Dateien
angepasst
Modified:
branches/exchangeability/fiona/src/ConstraintOG.cc
branches/exchangeability/fiona/tests/coverability/Nc1.owfn.cov
branches/exchangeability/fiona/tests/coverability/Nc2.owfn.cov
branches/exchangeability/fiona/tests/coverability/Nc3.owfn.cov
--
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.
