diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-04-07 22:14:10 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-04-07 22:14:10 +0000 |
| commit | de2b6c4ee9c2ecad88bddd0a60f10e94d6f8c71f (patch) | |
| tree | 3c987a1602e15a01cd13c51149ef3dd37d9df249 /test/unit/context | |
| parent | 4143f662e0c5ef311e98dbd554500b98cd02ecdb (diff) | |
This update contains more black-box tests as part of the attributes code review. I have confirmed by eyeball that every executable line of attributes.h is now getting hit in coverage testing. This can only be eyeballed at the moment because of templates. (There is 1 function that is not being touched, something included from NodeTemplate: _ZNK4CVC44expr4attr16AttributeManager12getAttributeINS0_9AttributeINS_6theory15RewriteCacheTagENS_12NodeTemplateILb0EEENS1_19NullCleanupStrategyELb0EEEEENT_10value_typeEPNS0_9NodeValueERKSB_)
Diffstat (limited to 'test/unit/context')
0 files changed, 0 insertions, 0 deletions