Author: danitz
Date: Mon Aug 25 12:54:07 2008
New Revision: 3283
URL: http://svn.gna.org/viewcvs/service-tech?rev=3283&view=rev
Log:
- veraltete cover_simulation aus dem Hauptzweig entfernt (einschliesslich der
alten cover-Formel über die Transitionen und die Strukturformel)
- Testfälle für die cover sim entfernt
Removed:
trunk/fiona/tests/cover_sim.sh
trunk/fiona/tests/coverability/cov1.og
trunk/fiona/tests/coverability/cov2.og
trunk/fiona/tests/coverability/cov3.og
trunk/fiona/tests/coverability/cov4.og
Modified:
trunk/fiona/src/AnnotatedGraph.cc
trunk/fiona/src/AnnotatedGraph.h
trunk/fiona/src/main.cc
trunk/fiona/src/options.cc
trunk/fiona/src/options.h
--
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.
