[kedr.aux] push by tsy...@gmail.com - coverage/coverage_tool: Now one can pass parameters to user-defined op... on 2014-11-21 13:30 GMT

[ke...@googlecode.com]

Revision: d0082545cdd9
Branch: default
Author: Andrey Tsyvarev <tsyv...@ispras.ru>
Date: Fri Nov 21 13:29:36 2014 UTC
Log: coverage/coverage_tool: Now one can pass parameters to
user-defined operation.

Help is made per-command, so generic one just list command with single-line
description.
https://code.google.com/p/kedr/source/detail?r=d0082545cdd9&repo=aux

Added:
/coverage/coverage-tool/usage_operation.in
/coverage/coverage-tool/usage_optimize_tests.in
/coverage/coverage-tool/usage_stat.in
Modified:
/coverage/coverage-tool/CMakeLists.txt
/coverage/coverage-tool/program.cpp
/coverage/coverage-tool/trace.cpp
/coverage/coverage-tool/usage.in