Author: danitz
Date: Tue Nov 25 16:22:18 2008
New Revision: 3625
URL: http://svn.gna.org/viewcvs/service-tech?rev=3625&view=rev
Log:
fixed a bug with the coverability matching (due to different versions)
merged both matching functions in main.cc (cover and non-cover)
added test-suite for coverability check
cleaned up and made rdy to check in branch exchangeability
Added:
branches/exchangeability/fiona/tests/coverability/
branches/exchangeability/fiona/tests/coverability/M1.owfn
branches/exchangeability/fiona/tests/coverability/M2.owfn
branches/exchangeability/fiona/tests/coverability/Nc1.owfn
branches/exchangeability/fiona/tests/coverability/Nc1.owfn.cov
branches/exchangeability/fiona/tests/coverability/Nc2.owfn
branches/exchangeability/fiona/tests/coverability/Nc2.owfn.cov
Modified:
branches/exchangeability/fiona/src/AnnotatedGraph.h
branches/exchangeability/fiona/src/ConstraintOG.h
branches/exchangeability/fiona/src/Graph.h
branches/exchangeability/fiona/src/main.cc
branches/exchangeability/fiona/src/options.cc
branches/exchangeability/fiona/src/owfn.cc
branches/exchangeability/fiona/tests/Makefile.am
branches/exchangeability/fiona/tests/coverability.sh
--
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.
