projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f07e8a3
)
Updating failing unit tests.
author
Tim King
<tim.king@imag.fr>
Mon, 27 Apr 2015 11:15:03 +0000
(13:15 +0200)
committer
Tim King
<tim.king@imag.fr>
Mon, 27 Apr 2015 11:15:03 +0000
(13:15 +0200)
test/unit/context/context_black.h
patch
|
blob
|
history
diff --git
a/test/unit/context/context_black.h
b/test/unit/context/context_black.h
index 494db312ca11f066f8d951cc57152f2a130a8336..f72cc05f4448ec5ff53d20f309f0a489d03ea7c9 100644
(file)
--- a/
test/unit/context/context_black.h
+++ b/
test/unit/context/context_black.h
@@
-34,6
+34,8
@@
struct MyContextNotifyObj : public ContextNotifyObj {
ContextNotifyObj(context, pre),
nCalls(0) {
}
+
+ virtual ~MyContextNotifyObj() throw(AssertionException) {}
void contextNotifyPop() {
++nCalls;
@@
-71,7
+73,7
@@
public:
nSaves(0) {
}
-
~MyContextObj(
) {
+
virtual ~MyContextObj() throw(AssertionException
) {
destroy();
}