Author: niels
Date: Tue Oct 20 23:19:19 2009
New Revision: 4874
URL: http://svn.gna.org/viewcvs/service-tech?rev=4874&view=rev
Log:
* added scripts to use ZCOV (`http://minormatter.com/zcov') to determine test
branch case coverage (use `make cover-branch' in `tests' directory)
* cleaned code:
* removed support for aspects - not used any more
* removed BPMN output - this does not belong here
* removed 2-bit annotation - Wendy can do this
Added:
trunk/rachel/src/Output.cc
- copied unchanged from r4870, trunk/wendy/src/Output.cc
trunk/rachel/src/Output.h
- copied unchanged from r4870, trunk/wendy/src/Output.h
trunk/rachel/src/verbose.cc
- copied unchanged from r4870, trunk/wendy/src/verbose.cc
trunk/rachel/src/verbose.h
- copied unchanged from r4870, trunk/wendy/src/verbose.h
trunk/rachel/tests/cover.sh.in
- copied unchanged from r4870, trunk/wendy/tests/cover.sh.in
trunk/rachel/tests/zcov/
- copied from r4870, trunk/wendy/tests/zcov/
Removed:
trunk/rachel/src/Tracer.ah
trunk/rachel/src/bpmn/
trunk/rachel/tests/versions.sh
Modified:
trunk/rachel/ChangeLog
trunk/rachel/NEWS
trunk/rachel/configure.ac
trunk/rachel/doc/ChangeLog.texi
trunk/rachel/src/Action.cc
trunk/rachel/src/EditDistance.cc
trunk/rachel/src/EditDistance.h
trunk/rachel/src/Formula.cc
trunk/rachel/src/Formula.h
trunk/rachel/src/Graph.cc
trunk/rachel/src/Graph.h
trunk/rachel/src/Makefile.am
trunk/rachel/src/Matching.cc
trunk/rachel/src/Matching.h
trunk/rachel/src/Simulation.cc
trunk/rachel/src/Simulation.h
trunk/rachel/src/cmdline.ggo
trunk/rachel/src/costfunction.h
trunk/rachel/src/helpers.cc
trunk/rachel/src/helpers.h
trunk/rachel/src/lexer_og.ll
trunk/rachel/src/main.cc
trunk/rachel/src/syntax_og.yy
trunk/rachel/src/values.cc
trunk/rachel/src/values.h
trunk/rachel/tests/Makefile.am
trunk/rachel/tests/testsuite.at
trunk/rachel/tests/zcov/GCovGroup.py (props changed)
trunk/rachel/tests/zcov/GCovParser.py (props changed)
trunk/rachel/tests/zcov/zcov-genhtml (props changed)
trunk/rachel/tests/zcov/zcov-merge (props changed)
trunk/rachel/tests/zcov/zcov-scan (props changed)
trunk/rachel/tests/zcov/zcov-summarize (props changed)
--
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.
