projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
13be3be
)
Fixing a delete vs free mismatch in parser_builder_black.h.
author
Tim King
<taking@google.com>
Thu, 10 Nov 2016 23:56:19 +0000
(15:56 -0800)
committer
Tim King
<taking@google.com>
Thu, 10 Nov 2016 23:56:19 +0000
(15:56 -0800)
test/unit/parser/parser_builder_black.h
patch
|
blob
|
history
diff --git
a/test/unit/parser/parser_builder_black.h
b/test/unit/parser/parser_builder_black.h
index 61c426be9ad69114640e85dfee791bb7240cd5d8..f65dadf1baf2eeec99624aee18d1c9310a652533 100644
(file)
--- a/
test/unit/parser/parser_builder_black.h
+++ b/
test/unit/parser/parser_builder_black.h
@@
-99,7
+99,7
@@
public:
remove(filename);
// mkfifo(ptr, S_IWUSR | s_IRUSR);
-
delete filename
;
+
free(filename)
;
}
void testSimpleFileInput() {
@@
-115,7
+115,7
@@
public:
);
remove(filename);
-
delete filename
;
+
free(filename)
;
}
void testEmptyStringInput() {