Age | Commit message (Collapse) | Author |
|
are thrown.
|
|
Adding garbage collection of nodes with maxed out reference counts.
|
|
|
|
|
|
|
|
|
|
|
|
options. Use bv2nat, int2bv as triggers. Add regressions.
|
|
|
|
|
|
on type checking exceptions.
|
|
bitvectors.
|
|
Adds a C++05 version of unique_ptr. Used this to solve a garbage coll…
|
|
|
|
|
|
|
|
|
|
logic, change syntax for empty heap constraint.
|
|
Disabling out of memory tests unit tests when ASAN is enabled. ASAN f…
|
|
are too hard for the unit testing framework.
|
|
checking error conditions. This prevents a memory leak in exception throwing branches.
|
|
|
|
|
|
problem caused by memory leaks of heap allocated Parsers.
|
|
This switches the ZombieSet in the NodeManager to use NodeValue's id …
|
|
equality comparison. The previously used function NodeValueEq incorrectly identified VARIABLE nodes as being equal. This meant that on hash collisions these nodes could leak memory.
|
|
Fix three leaks in unit tests
|
|
The `testMultipleCollection` test case was allocating a
ListenerCollection without deleting it. The helper function
`countCommands` was not deleting the `Command`s returned from
`InteractiveShell::readCommand`. In the `testEmptyFileInput` and
`testSimpleFileInput` tests, the `filename` string was not deleted. This
commit fixes all issues.
|
|
|
|
|
|
|
|
unbounded heaps in sep logic. Fix another simple memory leak in sygus.
|
|
Fix back() of empty deque in context_mm_black test
|
|
The `testPushPop()` test case does a pop out of scope at the end that
lead to UB in `ContextManager::pop()` because it did a `deque::back()`
on an empty deque without checking. This commit adds an assertion in the
`ContextManager` and checks that the test case triggers the assertion.
|
|
|
|
Fix a few more memory leaks.
|
|
|
|
|
|
declaration in cvc printer.
|
|
|
|
ASAN failures with datatypes should now be mostly fixed.
|
|
during call to mkMutualDatatypes.
|
|
|
|
|
|
|
|
Fix typo in Makefile that makes distcheck fail
|
|
|
|
|
|
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
|
|
as extension of sets solver, add regressions.
|