projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81d178c) | patch
* add TimerStat statistic type
authorMorgan Deters <mdeters@gmail.com>
Thu, 2 Sep 2010 07:31:04 +0000 (07:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 2 Sep 2010 07:31:04 +0000 (07:31 +0000)
commit79015a017495691ddfe2a4479de8fb7d558e4228
treebd985ccb0c453c26100f6420807072ed7d81d530tree
parent81d178c1ca853754aaa614d0400e45a8900092b9commit | diff
* add TimerStat statistic type
* add Stats black-box unit test
* new make target: "make units" now runs unit tests only
* revised make target: "make regress" now runs regressions only
* configure.ac: pull in librt for clock_gettime()
Makefile.am diff | blob | history
Makefile.builds.in diff | blob | history
configure.ac diff | blob | history
src/util/stats.h diff | blob | history
test/Makefile.am diff | blob | history
test/regress/Makefile.am diff | blob | history
test/system/Makefile.am diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/util/stats_black.h [new file with mode: 0644] blob